Stdlib.Data.List
Contents
import Stdlib.Data.List.Base open public
phead {A} {{Partial}} : List A -> ASource#
𝒪(1). Partial function that returns the first element of a List.
instance eqListI {A} {{Eq A}} : Eq (List A)Source#
isMember {A} {{Eq A}} (elem : A) (list : List A) : BoolSource#
instance ordListI {A} {{Ord A}} : Ord (List A)Source#
instance showListI {A} {{Show A}} : Show (List A)Source#
instance functorListI : Functor ListSource#
instance monomorphicFunctorListI {A} : Monomorphic.Functor (List A) ASource#
instance polymorphicFoldableListI : Polymorphic.Foldable ListSource#
instance foldableListI {A} : Foldable (List A) ASource#
instance applicativeListI : Applicative ListSource#
instance monadListI : Monad ListSource#
