bastet 2.0.0 · OCaml Package

ON THIS PAGE

Libraries
- 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
    
    TupleF
    
    Bool
    
    Array
    
    Traversable
    
    Fold_Map
    
    M