Module `Bastet.List`

module type EQ_F = functor (E : Interface.EQ) -> Interface.EQ with type t = E.t list

module type SHOW_F = functor (S : Interface.SHOW) -> Interface.SHOW with type t = S.t list

module type TRAVERSABLE_F = functor (A : Interface.APPLICATIVE) -> Interface.TRAVERSABLE with type 'a t = 'a list and type 'a applicative_t = 'a A.t

module Functor : Interface.FUNCTOR with type 'a t = 'a list

module Alt : Interface.ALT with type 'a t = 'a list

module Apply : Interface.APPLY with type 'a t = 'a list

module Applicative : Interface.APPLICATIVE with type 'a t = 'a list

module Monad : Interface.MONAD with type 'a t = 'a list

module Plus : Interface.PLUS with type 'a t = 'a list

module Alternative : Interface.ALTERNATIVE with type 'a t = 'a list

module Foldable : Interface.FOLDABLE with type 'a t = 'a list

module Unfoldable : Interface.UNFOLDABLE with type 'a t = 'a list

module Traversable : TRAVERSABLE_F

module Eq : EQ_F

module Show : SHOW_F

module Infix : sig ... end