Learn
Packages
Community
Blog
Playground
Search OCaml packages
Searching...
Or go to:
Standard Library API
Search OCaml packages
Learn
Packages
Community
Blog
Playground
Get started
package
bastet
latest (2.0.0)
2.0.0
1.2.5
1.2.4
1.2.0
1.1.0
side menu
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
Parameters
Signature
package bastet
bastet
Bastet
Array
Alt
Applicative
Apply
EQ_F
E
Eq
E
Extend
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Infix
Invariant
Monad
ORD_F
O
Ord
O
SHOW_F
S
Show
S
TRAVERSABLE_F
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Traversable
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Unfoldable
ArrayF
ARRAY
Alt
Applicative
Apply
EQ_F
E
Eq
E
Extend
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Infix
Invariant
Monad
ORD_F
O
Ord
O
SHOW_F
S
Show
S
TRAVERSABLE_F
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Traversable
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Unfoldable
IMPL
Make
A
Alt
Applicative
Apply
EQ_F
E
Eq
E
Extend
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Infix
Invariant
Monad
ORD_F
O
Ord
O
SHOW_F
S
Show
S
TRAVERSABLE_F
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Traversable
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Unfoldable
Bool
Boolean_Algebra
Bounded
Bounded_Distributive_Lattice
Bounded_Join_Semilattice
Bounded_Lattice
Bounded_Meet_Semilattice
Conjunctive
Magma
Medial_Magma
Monoid
Semigroup
Disjunctive
Magma
Medial_Magma
Monoid
Semigroup
Distributive_Lattice
Eq
Heyting_Algebra
Infix
Conjunctive
Disjunctive
Involutive_Heyting_Algebra
Join_Semilattice
Lattice
Meet_Semilattice
Ord
Show
Default
FOLD
FOLD_MAP
Fold_Map_Any
M
Fold_Map_Plus
P
Fold
Dual_Endo
Dual_Fold_Map
Endo_Fold_Map
F
Fold_Map_Any
M
Fold_Map_Plus
P
Fold_Map
F
I
M
Fold_Map_Any
F
I
M
Fold_Map_Plus
F
I
P
SEQUENCE
Sequence
T
TRAVERSE
Traverse
S
Dual
Applicative
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Infix
MAGMA_ANY_F
M
MAGMA_F
M
MONOID_ANY_F
M
MONOID_F
M
Magma
M
Magma_Any
M
Monad
Monoid
M
Monoid_Any
M
SEMIGROUP_ANY_F
S
SEMIGROUP_F
S
Semigroup
S
Semigroup_Any
S
TRAVERSABLE_F
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Traversable
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Endo
Infix
Magma
Monoid
Semigroup
Float
Additive
Abelian_Group
Group
Loop
Magma
Medial_Magma
Medial_Quasigroup
Monoid
Quasigroup
Semigroup
Bounded
Commutative_Ring
Division_Ring
Divisive
Magma
Medial_Magma
Medial_Quasigroup
Quasigroup
Eq
Euclidean_Ring
Field
Infix
Additive
Multiplicative
Multiplicative
Loop
Magma
Medial_Magma
Medial_Quasigroup
Monoid
Quasigroup
Semigroup
Ord
Ring
Semiring
Show
Subtractive
Magma
Medial_Magma
Medial_Quasigroup
Quasigroup
Function
APPLY_F
T
Apply
T
BICONTRAVARIANT_F
T
Bicontravariant
T
CONTRAVARIANT_F
T
Category
Contravariant
T
FUNCTOR_F
T
Functor
T
INVARIANT_F
T
Infix
Invariant
T
Profunctor
Semigroupoid
Functions
Applicative
A
I
Apply
A
I
Infix
Apply'
A
Apply_A
I
Infix
Apply_F
I
Infix
F
F'
T
Foldable
Applicative
A
Fn
I
Infix
F
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Monad
I
M
Monoid
FM
I
M
Plus
P
Semigroup
FM
I
S
Functor
F
Infix
Apply
A
Functions
I
Infix
Monad
Functions
M
Void
F
Functions
Monad
A
I
I
M
Monoid
I
M
Traversable
Internal
Map_Accum
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
T
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
State_Left
Applicative
Apply
Functor
Type
State_Right
Applicative
Apply
Functor
Type
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
T
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functors
ArrayF
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Eq
Ord
Show
Float
Additive
Fold_Map
Eq
Functions
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Multiplicative
Fold_Map
Ord
Show
Functions
Travsersable
Internal
Map_Accum
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
T
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
State_Left
Applicative
Apply
Functor
Type
State_Right
Applicative
Apply
Functor
Type
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
Infix
Alt
Apply
Functor
Monad
Int
Additive
Fold_Map
Eq
Functions
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Multiplicative
Fold_Map
Ord
Show
List
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Option
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
Ord
FunctionF
Bool
Functor
Int
Functor
String
Functor
ListF
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Eq
Show
Float
Additive
Fold_Map
Eq
Functions
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Multiplicative
Fold_Map
Show
Functions
Travsersable
Internal
Map_Accum
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
T
A
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
State_Left
Applicative
Apply
Functor
Type
State_Right
Applicative
Apply
Functor
Type
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Type
Infix
Alt
Apply
Functor
Monad
Int
Additive
Fold_Map
Eq
Functions
Scan
MA
SL
Applicative
Apply
Functor
SR
Applicative
Apply
Functor
TSL
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
TSR
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Multiplicative
Fold_Map
Show
List
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Option
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
OptionF
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Conjunctive
Monoid
Semigroup
Disjunctive
Monoid
Semigroup
Eq
Ord
Float
Additive
Fold_Map
Monoid
Quasigroup
Semigroup
Divisive
Quasigroup
Eq
Multiplicative
Fold_Map
Monoid
Quasigroup
Semigroup
Ord
Subtractive
Quasigroup
Infix
Alt
Apply
Functor
Monad
Int
Additive
Fold_Map
Monoid
Quasigroup
Semigroup
Eq
Multiplicative
Fold_Map
Monoid
Quasigroup
Semigroup
Ord
Subtractive
Quasigroup
List
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Option
Fold_Map_Plus
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
Monoid
Ord
Semigroup
ResultF
Bool
Alt
Applicative
Apply
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Extend
Float
Eq
Ord
Show
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Int
Eq
Ord
Show
List
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Monad
Option
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
Ord
Show
Float
Alt
Applicative
Apply
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Eq
Ord
Show
Extend
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Int
Eq
Ord
Show
List
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Monad
Option
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
Ord
Show
Int
Alt
Applicative
Apply
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Eq
Ord
Show
Extend
Float
Eq
Ord
Show
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
List
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Monad
Option
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
String
Eq
Ord
Show
String
Alt
Applicative
Apply
Array
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Bool
Eq
Ord
Show
Extend
Float
Eq
Ord
Show
Foldable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Functor
Int
Eq
Ord
Show
List
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
Monad
Option
Traversable
Fold_Map
M
Fold_Map_Any
M
Fold_Map_Plus
P
<