package bastet

You can search for identifiers within the package.

in-package search v0.2.0

package bastet

bastet
- README
- Library bastet
  - Bastet
    
    Array
    
    EQ_F
    
    ORD_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Functor
    
    Alt
    
    Apply
    
    Applicative
    
    Monad
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Unfoldable
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Ord
    
    Show
    
    Invariant
    
    Extend
    
    Infix
    
    ArrayF
    
    IMPL
    
    ARRAY
    
    EQ_F
    
    ORD_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Functor
    
    Alt
    
    Apply
    
    Applicative
    
    Monad
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Unfoldable
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Ord
    
    Show
    
    Invariant
    
    Extend
    
    Infix
    
    Make
    
    EQ_F
    
    ORD_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Functor
    
    Alt
    
    Apply
    
    Applicative
    
    Monad
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Unfoldable
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Ord
    
    Show
    
    Invariant
    
    Extend
    
    Infix
    
    Bool
    
    Conjunctive
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Disjunctive
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Eq
    
    Ord
    
    Bounded
    
    Join_Semilattice
    
    Meet_Semilattice
    
    Bounded_Join_Semilattice
    
    Bounded_Meet_Semilattice
    
    Lattice
    
    Bounded_Lattice
    
    Distributive_Lattice
    
    Bounded_Distributive_Lattice
    
    Heyting_Algebra
    
    Involutive_Heyting_Algebra
    
    Boolean_Algebra
    
    Show
    
    Infix
    
    Conjunctive
    
    Disjunctive
    
    Default
    
    FOLD
    
    Fold_Map
    
    I
    
    Fold_Map_Any
    
    I
    
    Fold_Map_Plus
    
    I
    
    FOLD_MAP
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Fold
    
    Dual_Endo
    
    Dual_Fold_Map
    
    Endo_Fold_Map
    
    TRAVERSE
    
    SEQUENCE
    
    Sequence
    
    Traverse
    
    Dual
    
    MAGMA_F
    
    SEMIGROUP_F
    
    MONOID_F
    
    MAGMA_ANY_F
    
    SEMIGROUP_ANY_F
    
    MONOID_ANY_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Magma
    
    Semigroup
    
    Monoid
    
    Functor
    
    Applicative
    
    Monad
    
    Magma_Any
    
    Semigroup_Any
    
    Monoid_Any
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Endo
    
    Magma
    
    Semigroup
    
    Monoid
    
    Infix
    
    Float
    
    Additive
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Medial_Quasigroup
    
    Loop
    
    Group
    
    Abelian_Group
    
    Multiplicative
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Medial_Quasigroup
    
    Loop
    
    Subtractive
    
    Magma
    
    Medial_Magma
    
    Quasigroup
    
    Medial_Quasigroup
    
    Divisive
    
    Magma
    
    Medial_Magma
    
    Quasigroup
    
    Medial_Quasigroup
    
    Eq
    
    Ord
    
    Bounded
    
    Show
    
    Semiring
    
    Ring
    
    Commutative_Ring
    
    Division_Ring
    
    Euclidean_Ring
    
    Field
    
    Infix
    
    Additive
    
    Multiplicative
    
    Function
    
    FUNCTOR_F
    
    APPLY_F
    
    INVARIANT_F
    
    CONTRAVARIANT_F
    
    BICONTRAVARIANT_F
    
    Functor
    
    Apply
    
    Semigroupoid
    
    Category
    
    Invariant
    
    Profunctor
    
    Contravariant
    
    Bicontravariant
    
    Infix
    
    Functions
    
    Monoid
    
    I
    
    Functor
    
    Apply
    
    I
    
    Infix
    
    Apply'
    
    F
    
    F'
    
    Apply_F
    
    I
    
    Infix
    
    Apply_A
    
    I
    
    Infix
    
    Applicative
    
    I
    
    Monad
    
    I
    
    A
    
    I
    
    Foldable
    
    Semigroup
    
    FM
    
    I
    
    Monoid
    
    FM
    
    I
    
    Applicative
    
    Fn
    
    I
    
    Infix
    
    Plus
    
    Monad
    
    I
    
    Traversable
    
    Internal
    
    State_Left
    
    Functor
    
    Apply
    
    Applicative
    
    State_Right
    
    Functor
    
    Apply
    
    Applicative
    
    Map_Accum
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Apply
    
    Functions
    
    I
    
    Infix
    
    Monad
    
    Functions
    
    Void
    
    Functions
    
    Functors
    
    OcamlAbstractInt
    
    OcamlAbstractBool
    
    OcamlAbstractString
    
    OcamlAbstractFloat
    
    ArrayF
    
    Functions
    
    Travsersable
    
    Internal
    
    State_Left
    
    Functor
    
    Apply
    
    Applicative
    
    State_Right
    
    Functor
    
    Apply
    
    Applicative
    
    Map_Accum
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Int
    
    Eq
    
    Ord
    
    Show
    
    Additive
    
    Fold_Map
    
    Multiplicative
    
    Fold_Map
    
    Functions
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Float
    
    Eq
    
    Ord
    
    Show
    
    Additive
    
    Fold_Map
    
    Multiplicative
    
    Fold_Map
    
    Functions
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bool
    
    Eq
    
    Ord
    
    Show
    
    String
    
    Eq
    
    Ord
    
    List
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Functor
    
    Apply
    
    Monad
    
    Alt
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    ListF
    
    Functions
    
    Travsersable
    
    Internal
    
    State_Left
    
    Functor
    
    Apply
    
    Applicative
    
    State_Right
    
    Functor
    
    Apply
    
    Applicative
    
    Map_Accum
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Int
    
    Eq
    
    Show
    
    Additive
    
    Fold_Map
    
    Multiplicative
    
    Fold_Map
    
    Functions
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Float
    
    Eq
    
    Show
    
    Additive
    
    Fold_Map
    
    Multiplicative
    
    Fold_Map
    
    Functions
    
    Scan
    
    MA
    
    SL
    
    Functor
    
    Apply
    
    Applicative
    
    SR
    
    Functor
    
    Apply
    
    Applicative
    
    TSL
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TSR
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bool
    
    Eq
    
    Show
    
    String
    
    Eq
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Functor
    
    Apply
    
    Monad
    
    Alt
    
    List
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    OptionF
    
    Int
    
    Eq
    
    Ord
    
    Additive
    
    Semigroup
    
    Quasigroup
    
    Monoid
    
    Fold_Map
    
    Multiplicative
    
    Semigroup
    
    Quasigroup
    
    Monoid
    
    Fold_Map
    
    Subtractive
    
    Quasigroup
    
    Float
    
    Eq
    
    Ord
    
    Additive
    
    Semigroup
    
    Quasigroup
    
    Monoid
    
    Fold_Map
    
    Multiplicative
    
    Semigroup
    
    Quasigroup
    
    Monoid
    
    Fold_Map
    
    Subtractive
    
    Quasigroup
    
    Divisive
    
    Quasigroup
    
    Bool
    
    Eq
    
    Ord
    
    Conjunctive
    
    Semigroup
    
    Monoid
    
    Disjunctive
    
    Semigroup
    
    Monoid
    
    String
    
    Eq
    
    Ord
    
    Semigroup
    
    Monoid
    
    List
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Functor
    
    Apply
    
    Monad
    
    Alt
    
    Option
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    ResultF
    
    Int
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Extend
    
    Alt
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bool
    
    Eq
    
    Ord
    
    Show
    
    Float
    
    Eq
    
    Ord
    
    Show
    
    String
    
    Eq
    
    Ord
    
    Show
    
    Float
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Extend
    
    Alt
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bool
    
    Eq
    
    Ord
    
    Show
    
    Int
    
    Eq
    
    Ord
    
    Show
    
    String
    
    Eq
    
    Ord
    
    Show
    
    Bool
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Extend
    
    Alt
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Int
    
    Eq
    
    Ord
    
    Show
    
    Float
    
    Eq
    
    Ord
    
    Show
    
    String
    
    Eq
    
    Ord
    
    Show
    
    String
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Extend
    
    Alt
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Int
    
    Eq
    
    Ord
    
    Show
    
    Float
    
    Eq
    
    Ord
    
    Show
    
    Bool
    
    Eq
    
    Ord
    
    Show
    
    TupleF
    
    Int
    
    Functor
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Additive
    
    Apply
    
    Applicative
    
    Monad
    
    Multiplicative
    
    Apply
    
    Applicative
    
    Monad
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bool
    
    Functor
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Conjunctive
    
    Apply
    
    Applicative
    
    Monad
    
    Disjunctive
    
    Apply
    
    Applicative
    
    Monad
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    String
    
    Functor
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Apply
    
    Applicative
    
    Monad
    
    List
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Array
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Option
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    FunctionF
    
    Int
    
    Functor
    
    Bool
    
    Functor
    
    String
    
    Functor
    
    Infix
    
    Magma
    
    Magma_Any
    
    Functor
    
    Apply
    
    Monad
    
    Alt
    
    Alternative
    
    Semigroupoid
    
    Eq
    
    Ord
    
    Semiring
    
    Ring
    
    Euclidean_Ring
    
    Extend
    
    Bifunctor
    
    Biapply
    
    Join_Semilattice
    
    Meet_Semilattice
    
    Heyting_Algebra
    
    Int
    
    Additive
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Medial_Quasigroup
    
    Loop
    
    Group
    
    Abelian_Group
    
    Multiplicative
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Loop
    
    Subtractive
    
    Magma
    
    Medial_Magma
    
    Quasigroup
    
    Divisive
    
    Magma
    
    Eq
    
    Ord
    
    Bounded
    
    Show
    
    Semiring
    
    Ring
    
    Commutative_Ring
    
    Euclidean_Ring
    
    Infix
    
    Additive
    
    Multiplicative
    
    Interface
    
    TYPE
    
    MAGMA
    
    MEDIAL_MAGMA
    
    MAGMA_ANY
    
    SEMIGROUP
    
    SEMIGROUP_ANY
    
    MONOID
    
    MONOID_ANY
    
    QUASIGROUP
    
    MEDIAL_QUASIGROUP
    
    QUASIGROUP_ANY
    
    LOOP
    
    LOOP_ANY
    
    GROUP
    
    GROUP_ANY
    
    GROUP_LOOP
    
    GROUP_LOOP_ANY
    
    ABELIAN_GROUP
    
    ABELIAN_GROUP_ANY
    
    FUNCTOR
    
    APPLY
    
    APPLICATIVE
    
    MONAD
    
    ALT
    
    PLUS
    
    ALTERNATIVE
    
    FOLDABLE
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    UNFOLDABLE
    
    TRAVERSABLE
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    SEMIGROUPOID
    
    CATEGORY
    
    EQ
    
    QUASIREFLEXIVE_EQ
    
    EQ1
    
    EQ2
    
    ORD
    
    Ordering
    
    BOUNDED
    
    JOIN_SEMILATTICE
    
    MEET_SEMILATTICE
    
    BOUNDED_JOIN_SEMILATTICE
    
    BOUNDED_MEET_SEMILATTICE
    
    LATTICE
    
    BOUNDED_LATTICE
    
    DISTRIBUTIVE_LATTICE
    
    BOUNDED_DISTRIBUTIVE_LATTICE
    
    HEYTING_ALGEBRA
    
    INVOLUTIVE_HEYTING_ALGEBRA
    
    BOOLEAN_ALGEBRA
    
    SHOW
    
    SEMIRING
    
    RING
    
    COMMUTATIVE_RING
    
    DIVISION_RING
    
    EUCLIDEAN_RING
    
    FIELD
    
    INVARIANT
    
    CONTRAVARIANT
    
    PROFUNCTOR
    
    MONAD_ZERO
    
    MONAD_PLUS
    
    EXTEND
    
    COMONAD
    
    BIFUNCTOR
    
    BIAPPLY
    
    BIAPPLICATIVE
    
    BIFOLDABLE
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    BITRAVERSABLE
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    BITRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    BICONTRAVARIANT
    
    List
    
    EQ_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Functor
    
    Alt
    
    Apply
    
    Applicative
    
    Monad
    
    Plus
    
    Alternative
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Unfoldable
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Show
    
    Infix
    
    Option
    
    MAGMA_F
    
    SEMIGROUP_F
    
    MONOID_F
    
    QUASIGROUP_F
    
    LOOP_F
    
    EQ_F
    
    ORD_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Loop
    
    Alt
    
    Plus
    
    Alternative
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Ord
    
    Show
    
    Infix
    
    PPX_Let
    
    PPX_LET
    
    Open_on_rhs
    
    Make
    
    A
    
    I
    
    Infix
    
    Let_syntax
    
    Open_on_rhs
    
    Result
    
    MAGMA_F
    
    MEDIAL_MAGMA_F
    
    SEMIGROUP_F
    
    FUNCTOR_F
    
    APPLY_F
    
    APPLICATIVE_F
    
    MONAD_F
    
    ALT_F
    
    EXTEND_F
    
    SHOW_F
    
    EQ_F
    
    ORD_F
    
    BOUNDED_F
    
    FOLDABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    BITRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Magma
    
    Medial_Magma
    
    Semigroup
    
    Functor
    
    Bifunctor
    
    Apply
    
    Applicative
    
    Monad
    
    Alt
    
    Extend
    
    Show
    
    Eq
    
    Ord
    
    Bounded
    
    Many_Valued_Logic
    
    EQ_F
    
    ORD_F
    
    JOIN_SEMILATTICE_F
    
    MEET_SEMILATTICE_F
    
    BOUNDED_JOIN_SEMILATTICE_F
    
    BOUNDED_MEET_SEMILATTICE_F
    
    HEYTING_ALGEBRA_F
    
    Quasireflexive_Eq
    
    Quasireflexive_Ord
    
    Join_Semilattice
    
    Meet_Semilattice
    
    Bounded_Join_Semilattice
    
    Bounded_Meet_Semilattice
    
    Lattice
    
    Bounded_Lattice
    
    Distributive_Lattice
    
    Bounded_Distributive_Lattice
    
    Heyting_Algebra
    
    Involutive_Heyting_Algebra
    
    Boolean_Algebra
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bifoldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bitraversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Choose
    
    Unsafe
    
    String
    
    Magma
    
    Semigroup
    
    Monoid
    
    Quasigroup
    
    Loop
    
    Eq
    
    Ord
    
    Show
    
    Infix
    
    Test
    
    TEST
    
    ARBITRARY
    
    ARBITRARY_A
    
    QUICKCHECK
    
    Make
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Array
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Invariant
    
    V
    
    Bool
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Conjunctive
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Disjunctive
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Default
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traversable
    
    List_Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traverse
    
    List_Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Float
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Additive
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Multiplicative
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Subtractive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Divisive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    List
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Int
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Additive
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Multiplicative
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Subtractive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Option
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    String
    
    M
    
    Compare
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Group
    
    V
    
    I
    
    Abelian_Group
    
    V
    
    Monoid
    
    V
    
    I
    
    Functor
    
    V
    
    Apply
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Plus
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Join_Semilattice
    
    V
    
    Meet_Semilattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Lattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Distributive_Lattice
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Boolean_Algebra
    
    V
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Semiring
    
    V
    
    I
    
    Ring
    
    V
    
    I
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    Invariant
    
    V
    
    Semigroup
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Tuple
    
    MAGMA_F
    
    SEMIGROUP_F
    
    MONOID_F
    
    FUNCTOR_F
    
    APPLY_F
    
    APPLICATIVE_F
    
    MONAD_F
    
    FOLDABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    EQ_F
    
    SHOW_F
    
    TRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Magma
    
    Semigroup
    
    Monoid
    
    Functor
    
    Apply
    
    Applicative
    
    Monad
    
    Foldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Traversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Eq
    
    Semigroupoid
    
    Show
    
    Bifunctor
    
    Biapply
    
    Biapplicative
    
    Bifoldable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    BITRAVERSABLE_F
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Bitraversable
    
    Fold_Map
    
    Fold_Map_Any
    
    Fold_Map_Plus
    
    Infix
    
    Verify
    
    Compare
    
    Medial_Magma
    
    I
    
    Semigroup
    
    I
    
    Semigroup_Any
    
    I
    
    Monoid
    
    I
    
    Monoid_Any
    
    I
    
    Quasigroup
    
    I
    
    Quasigroup_Any
    
    I
    
    Medial_Quasigroup
    
    I
    
    Loop
    
    I
    
    Loop_Any
    
    I
    
    Group
    
    I
    
    Group_Any
    
    I
    
    Abelian_Group
    
    Abelian_Group_Any
    
    Functor
    
    Apply
    
    I
    
    Applicative
    
    I
    
    Monad
    
    I
    
    Alt
    
    I
    
    Plus
    
    I
    
    Alternative
    
    I
    
    Semigroupoid
    
    I
    
    Category
    
    I
    
    Eq
    
    I
    
    Quasireflexive_Eq
    
    I
    
    Ord
    
    Ordering_Functions
    
    Bounded
    
    Ordering_Functions
    
    Join_Semilattice
    
    Meet_Semilattice
    
    Bounded_Join_Semilattice
    
    Bounded_Meet_Semilattice
    
    Lattice
    
    Bounded_Lattice
    
    Distributive_Lattice
    
    Bounded_Distributive_Lattice
    
    Heyting_Algebra
    
    O
    
    Involutive_Heyting_Algebra
    
    Boolean_Algebra
    
    Semiring
    
    I
    
    Ring
    
    I
    
    Commutative_Ring
    
    I
    
    Division_Ring
    
    I
    
    Euclidean_Ring
    
    I
    
    Field
    
    Invariant
    
    Contravariant
    
    Profunctor
    
    Monad_Zero
    
    Monad_Plus
    
    Extend
    
    Comonad
    
    Bifunctor
    
    Bicontravariant
    
    Medial_Magma
    
    I
    
    Semigroup
    
    I
    
    Semigroup_Any
    
    I
    
    Monoid
    
    I
    
    Monoid_Any
    
    I
    
    Quasigroup
    
    I
    
    Quasigroup_Any
    
    I
    
    Medial_Quasigroup
    
    I
    
    Loop
    
    I
    
    Loop_Any
    
    I
    
    Group
    
    I
    
    Group_Any
    
    I
    
    Abelian_Group
    
    Abelian_Group_Any
    
    Functor
    
    Apply
    
    I
    
    Applicative
    
    I
    
    Monad
    
    I
    
    Alt
    
    I
    
    Plus
    
    I
    
    Alternative
    
    I
    
    Semigroupoid
    
    I
    
    Category
    
    I
    
    Eq
    
    I
    
    Ord
    
    Ordering_Functions
    
    Bounded
    
    Ordering_Functions
    
    Join_Semilattice
    
    Meet_Semilattice
    
    Bounded_Join_Semilattice
    
    Bounded_Meet_Semilattice
    
    Lattice
    
    Bounded_Lattice
    
    Distributive_Lattice
    
    Bounded_Distributive_Lattice
    
    Heyting_Algebra
    
    O
    
    Involutive_Heyting_Algebra
    
    Boolean_Algebra
    
    Semiring
    
    I
    
    Ring
    
    I
    
    Commutative_Ring
    
    I
    
    Division_Ring
    
    I
    
    Euclidean_Ring
    
    I
    
    Field
    
    Invariant
    
    Contravariant
    
    Profunctor
    
    Monad_Zero
    
    Monad_Plus
    
    Extend
    
    Comonad
    
    Bifunctor
    
    Bicontravariant
- Sources
  - bastet
    
    Array.ml
    
    ArrayF.ml
    
    Bool.ml
    
    Default.ml
    
    Dual.ml
    
    Endo.ml
    
    Float.ml
    
    Function.ml
    
    Functions.ml
    
    Functors.ml
    
    Infix.ml
    
    Int.ml
    
    Interface.ml
    
    List.ml
    
    Option.ml
    
    PPX_Let.ml
    
    Result.ml
    
    String.ml
    
    Test.ml
    
    Tuple.ml
    
    Verify.ml
    
    bastet.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bastet.Verify`Source

Sourcemodule Compare : sig ... end

Provides functors to verify that instances are lawful.

Sourcemodule Medial_Magma (M : Interface.MEDIAL_MAGMA) : sig ... end

Default Verify functors. Uses Pervasives.(==) for comparison.

Sourcemodule Semigroup (S : Interface.SEMIGROUP) : sig ... end

Sourcemodule Semigroup_Any (S : Interface.SEMIGROUP_ANY) : sig ... end

Sourcemodule Monoid (M : Interface.MONOID) : sig ... end

Sourcemodule Monoid_Any (M : Interface.MONOID_ANY) : sig ... end

Sourcemodule Quasigroup (Q : Interface.QUASIGROUP) : sig ... end

Sourcemodule Quasigroup_Any (Q : Interface.QUASIGROUP_ANY) : sig ... end

Sourcemodule Medial_Quasigroup (Q : Interface.MEDIAL_QUASIGROUP) : sig ... end

Sourcemodule Loop (L : Interface.LOOP) : sig ... end

Sourcemodule Loop_Any (L : Interface.LOOP_ANY) : sig ... end

Sourcemodule Group (G : Interface.GROUP) : sig ... end

Sourcemodule Group_Any (G : Interface.GROUP_ANY) : sig ... end

Sourcemodule Abelian_Group (A : Interface.ABELIAN_GROUP) : sig ... end

Sourcemodule Abelian_Group_Any (A : Interface.ABELIAN_GROUP_ANY) : sig ... end

Sourcemodule Functor (F : Interface.FUNCTOR) : sig ... end

Sourcemodule Apply (A : Interface.APPLY) : sig ... end

Sourcemodule Applicative (A : Interface.APPLICATIVE) : sig ... end

Sourcemodule Monad (M : Interface.MONAD) : sig ... end

Sourcemodule Alt (A : Interface.ALT) : sig ... end

Sourcemodule Plus (P : Interface.PLUS) : sig ... end

Sourcemodule Alternative (A : Interface.ALTERNATIVE) : sig ... end

Sourcemodule Semigroupoid (S : Interface.SEMIGROUPOID) : sig ... end

Sourcemodule Category (C : Interface.CATEGORY) : sig ... end

Sourcemodule Eq (E : Interface.EQ) : sig ... end

Sourcemodule Ord (E : Interface.ORD) : sig ... end

Sourcemodule Bounded (B : Interface.BOUNDED) : sig ... end

Sourcemodule Join_Semilattice (J : Interface.JOIN_SEMILATTICE) : sig ... end

Sourcemodule Meet_Semilattice (M : Interface.MEET_SEMILATTICE) : sig ... end

Source

module Bounded_Join_Semilattice
  (J : Interface.BOUNDED_JOIN_SEMILATTICE) : 
  sig ... end

Source

module Bounded_Meet_Semilattice
  (M : Interface.BOUNDED_MEET_SEMILATTICE) : 
  sig ... end

Sourcemodule Lattice (L : Interface.LATTICE) : sig ... end

Sourcemodule Bounded_Lattice (L : Interface.BOUNDED_LATTICE) : sig ... end

Sourcemodule Distributive_Lattice (L : Interface.DISTRIBUTIVE_LATTICE) : sig ... end

Source

module Bounded_Distributive_Lattice
  (L : Interface.BOUNDED_DISTRIBUTIVE_LATTICE) : 
  sig ... end

Sourcemodule Heyting_Algebra (H : Interface.HEYTING_ALGEBRA) : sig ... end

Source

module Involutive_Heyting_Algebra
  (H : Interface.INVOLUTIVE_HEYTING_ALGEBRA) : 
  sig ... end

Sourcemodule Boolean_Algebra (B : Interface.BOOLEAN_ALGEBRA) : sig ... end

Sourcemodule Semiring (S : Interface.SEMIRING) : sig ... end

Sourcemodule Ring (R : Interface.RING) : sig ... end

Sourcemodule Commutative_Ring (R : Interface.COMMUTATIVE_RING) : sig ... end

Sourcemodule Division_Ring (R : Interface.DIVISION_RING) : sig ... end

Sourcemodule Euclidean_Ring (R : Interface.EUCLIDEAN_RING) : sig ... end

Sourcemodule Field (F : Interface.FIELD) : sig ... end

Sourcemodule Invariant (I : Interface.INVARIANT) : sig ... end

Sourcemodule Contravariant (C : Interface.CONTRAVARIANT) : sig ... end

Sourcemodule Profunctor (P : Interface.PROFUNCTOR) : sig ... end

Sourcemodule Monad_Zero (M : Interface.MONAD_ZERO) : sig ... end

Sourcemodule Monad_Plus (M : Interface.MONAD_PLUS) : sig ... end

Sourcemodule Extend (E : Interface.EXTEND) : sig ... end

Sourcemodule Comonad (C : Interface.COMONAD) : sig ... end

Sourcemodule Bifunctor (B : Interface.BIFUNCTOR) : sig ... end

Sourcemodule Bicontravariant (B : Interface.BICONTRAVARIANT) : sig ... end

package bastet

Module Bastet.VerifySource

Module `Bastet.Verify`Source