Module `Bastet__List`

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

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

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

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

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

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

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

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

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

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

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

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

module Traversable : TRAVERSABLE_F

module Eq : EQ_F

module Show : SHOW_F

module Infix : sig ... end