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#

instance traversableListI : Traversable ListSource#