package bastet

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
    
    TupleF
    
    Bool
    
    Array
    
    Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Conjunctive
    
    Applicative
    
    Apply
    
    Monad
    
    Disjunctive
    
    Applicative
    
    Apply
    
    Monad
    
    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
    
    Option
    
    Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Int
    
    Additive
    
    Applicative
    
    Apply
    
    Monad
    
    Array
    
    Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    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
    
    Multiplicative
    
    Applicative
    
    Apply
    
    Monad
    
    Option
    
    Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    String
    
    Applicative
    
    Apply
    
    Array
    
    Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    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
  - Infix
    
    Alt
    
    A
    
    Alternative
    
    A
    
    Apply
    
    A
    
    Biapply
    
    B
    
    Bifunctor
    
    B
    
    Eq
    
    E
    
    Euclidean_Ring
    
    E
    
    Extend
    
    E
    
    Functor
    
    F
    
    Heyting_Algebra
    
    H
    
    Join_Semilattice
    
    J
    
    Magma
    
    M
    
    Magma_Any
    
    M
    
    Meet_Semilattice
    
    M
    
    Monad
    
    M
    
    Ord
    
    O
    
    Ring
    
    R
    
    Semigroupoid
    
    S
    
    Semiring
    
    S
  - Int
    
    Additive
    
    Abelian_Group
    
    Group
    
    Loop
    
    Magma
    
    Medial_Magma
    
    Medial_Quasigroup
    
    Monoid
    
    Quasigroup
    
    Semigroup
    
    Bounded
    
    Commutative_Ring
    
    Divisive
    
    Magma
    
    Eq
    
    Euclidean_Ring
    
    Infix
    
    Additive
    
    Multiplicative
    
    Multiplicative
    
    Loop
    
    Magma
    
    Medial_Magma
    
    Monoid
    
    Quasigroup
    
    Semigroup
    
    Ord
    
    Ring
    
    Semiring
    
    Show
    
    Subtractive
    
    Magma
    
    Medial_Magma
    
    Quasigroup
  - Interface
    
    ABELIAN_GROUP
    
    ABELIAN_GROUP_ANY
    
    ALT
    
    ALTERNATIVE
    
    APPLICATIVE
    
    APPLY
    
    BIAPPLICATIVE
    
    BIAPPLY
    
    BICONTRAVARIANT
    
    BIFOLDABLE
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    BIFUNCTOR
    
    BITRAVERSABLE
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    BITRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    BOOLEAN_ALGEBRA
    
    BOUNDED
    
    BOUNDED_DISTRIBUTIVE_LATTICE
    
    BOUNDED_JOIN_SEMILATTICE
    
    BOUNDED_LATTICE
    
    BOUNDED_MEET_SEMILATTICE
    
    CATEGORY
    
    COMMUTATIVE_RING
    
    COMONAD
    
    CONTRAVARIANT
    
    DISTRIBUTIVE_LATTICE
    
    DIVISION_RING
    
    EQ
    
    EQ1
    
    EQ2
    
    EUCLIDEAN_RING
    
    EXTEND
    
    FIELD
    
    FOLDABLE
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    FUNCTOR
    
    GROUP
    
    GROUP_ANY
    
    GROUP_LOOP
    
    G
    
    GROUP_LOOP_ANY
    
    G
    
    HEYTING_ALGEBRA
    
    INVARIANT
    
    INVOLUTIVE_HEYTING_ALGEBRA
    
    JOIN_SEMILATTICE
    
    LATTICE
    
    LOOP
    
    LOOP_ANY
    
    MAGMA
    
    MAGMA_ANY
    
    MEDIAL_MAGMA
    
    MEDIAL_QUASIGROUP
    
    MEET_SEMILATTICE
    
    MONAD
    
    MONAD_PLUS
    
    MONAD_ZERO
    
    MONOID
    
    MONOID_ANY
    
    ORD
    
    Ordering
    
    O
    
    PLUS
    
    PROFUNCTOR
    
    QUASIGROUP
    
    QUASIGROUP_ANY
    
    QUASIREFLEXIVE_EQ
    
    RING
    
    SEMIGROUP
    
    SEMIGROUPOID
    
    SEMIGROUP_ANY
    
    SEMIRING
    
    SHOW
    
    TRAVERSABLE
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    TRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    TYPE
    
    UNFOLDABLE
  - List
    
    Alt
    
    Alternative
    
    Applicative
    
    Apply
    
    EQ_F
    
    E
    
    Eq
    
    E
    
    Foldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Functor
    
    Infix
    
    Monad
    
    Plus
    
    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
  - Option
    
    Alt
    
    Alternative
    
    Applicative
    
    Apply
    
    EQ_F
    
    E
    
    Eq
    
    E
    
    Foldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Functor
    
    Infix
    
    LOOP_F
    
    L
    
    Loop
    
    L
    
    MAGMA_F
    
    M
    
    MONOID_F
    
    S
    
    Magma
    
    M
    
    Monad
    
    Monoid
    
    S
    
    ORD_F
    
    O
    
    Ord
    
    O
    
    Plus
    
    QUASIGROUP_F
    
    Q
    
    Quasigroup
    
    Q
    
    SEMIGROUP_F
    
    S
    
    SHOW_F
    
    S
    
    Semigroup
    
    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
  - PPX_Let
    
    Make
    
    A
    
    I
    
    Infix
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    PPX_LET
    
    Open_on_rhs
  - Result
    
    ALT_F
    
    T
    
    APPLICATIVE_F
    
    T
    
    APPLY_F
    
    T
    
    Alt
    
    T
    
    Applicative
    
    T
    
    Apply
    
    T
    
    BITRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    BOUNDED_F
    
    Error
    
    Ok
    
    Bifoldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Bifunctor
    
    Bitraversable
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Bounded
    
    Error
    
    Ok
    
    Choose
    
    A
    
    EQ_F
    
    Error
    
    Ok
    
    EXTEND_F
    
    T
    
    Eq
    
    Error
    
    Ok
    
    Extend
    
    T
    
    FOLDABLE_F
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    FUNCTOR_F
    
    T
    
    Foldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    Functor
    
    T
    
    Infix
    
    MAGMA_F
    
    M
    
    T
    
    MEDIAL_MAGMA_F
    
    M
    
    T
    
    MONAD_F
    
    T
    
    Magma
    
    M
    
    T
    
    Many_Valued_Logic
    
    BOUNDED_JOIN_SEMILATTICE_F
    
    Error
    
    Ok
    
    BOUNDED_MEET_SEMILATTICE_F
    
    Error
    
    Ok
    
    Boolean_Algebra
    
    Error
    
    Ok
    
    Bounded_Distributive_Lattice
    
    Error
    
    Ok
    
    Bounded_Join_Semilattice
    
    Error
    
    Ok
    
    Bounded_Lattice
    
    Error
    
    Ok
    
    Bounded_Meet_Semilattice
    
    Error
    
    Ok
    
    Distributive_Lattice
    
    Error
    
    Ok
    
    EQ_F
    
    Error
    
    Ok
    
    HEYTING_ALGEBRA_F
    
    Error
    
    Ok
    
    Heyting_Algebra
    
    Error
    
    Ok
    
    Involutive_Heyting_Algebra
    
    Error
    
    Ok
    
    JOIN_SEMILATTICE_F
    
    Error
    
    Ok
    
    Join_Semilattice
    
    Error
    
    Ok
    
    Lattice
    
    Error
    
    Ok
    
    MEET_SEMILATTICE_F
    
    Error
    
    Ok
    
    Meet_Semilattice
    
    Error
    
    Ok
    
    ORD_F
    
    Error
    
    Ok
    
    Quasireflexive_Eq
    
    Error
    
    Ok
    
    Quasireflexive_Ord
    
    Error
    
    Ok
    
    Medial_Magma
    
    M
    
    T
    
    Monad
    
    T
    
    ORD_F
    
    Error
    
    Ok
    
    Ord
    
    Error
    
    Ok
    
    SEMIGROUP_F
    
    S
    
    T
    
    SHOW_F
    
    Error
    
    Ok
    
    Semigroup
    
    S
    
    T
    
    Show
    
    Error
    
    Ok
    
    TRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    Traversable
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    Unsafe
  - String
    
    Eq
    
    Infix
    
    Loop
    
    Magma
    
    Monoid
    
    Ord
    
    Quasigroup
    
    Semigroup
    
    Show
  - Test
    
    ARBITRARY
    
    ARBITRARY_A
    
    Array
    
    A
    
    AA
    
    Alt
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Apply
    
    V
    
    I
    
    Arr
    
    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
    
    Eq
    
    V
    
    I
    
    Functor
    
    V
    
    Invariant
    
    V
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Q
    
    T
    
    Bool
    
    A
    
    Boolean_Algebra
    
    V
    
    Bounded_Distributive_Lattice
    
    V
    
    Bounded_Join_Semilattice
    
    V
    
    Bounded_Lattice
    
    V
    
    Bounded_Meet_Semilattice
    
    V
    
    Conjunctive
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Disjunctive
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Distributive_Lattice
    
    V
    
    Eq
    
    V
    
    I
    
    Heyting_Algebra
    
    V
    
    O
    
    Involutive_Heyting_Algebra
    
    V
    
    Join_Semilattice
    
    V
    
    Lattice
    
    V
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Meet_Semilattice
    
    V
    
    Ord
    
    V
    
    Ordering_Functions
    
    Q
    
    T
    
    Default
    
    Foldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Q
    
    T
    
    Traversable
    
    A
    
    List_Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Traverse
    
    List_Traversable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Float
    
    A
    
    Additive
    
    Abelian_Group
    
    V
    
    Group
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Commutative_Ring
    
    V
    
    I
    
    Division_Ring
    
    V
    
    I
    
    Divisive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    E
    
    Eq
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    Field
    
    V
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Multiplicative
    
    Loop
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Q
    
    Ring
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Subtractive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    T
    
    Int
    
    A
    
    Additive
    
    Abelian_Group
    
    V
    
    Group
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Bounded
    
    V
    
    Ordering_Functions
    
    Commutative_Ring
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Euclidean_Ring
    
    V
    
    I
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Multiplicative
    
    Loop
    
    V
    
    I
    
    Medial_Magma
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Q
    
    Ring
    
    V
    
    I
    
    Semiring
    
    V
    
    I
    
    Subtractive
    
    Medial_Magma
    
    V
    
    I
    
    Quasigroup
    
    V
    
    I
    
    T
    
    List
    
    A
    
    AA
    
    Alt
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Apply
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Functor
    
    V
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Q
    
    T
    
    Make
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Q
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    T
    
    Option
    
    A
    
    AA
    
    Alt
    
    V
    
    I
    
    Alternative
    
    V
    
    I
    
    Applicative
    
    V
    
    I
    
    Apply
    
    V
    
    I
    
    Eq
    
    V
    
    I
    
    Functor
    
    V
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Monad
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Plus
    
    V
    
    I
    
    Q
    
    Semigroup
    
    V
    
    I
    
    T
    
    QUICKCHECK
    
    String
    
    A
    
    Eq
    
    V
    
    I
    
    Loop
    
    V
    
    I
    
    M
    
    Abelian_Group
    
    A
    
    G
    
    V
    
    Alt
    
    A
    
    AA
    
    V
    
    I
    
    Alternative
    
    A
    
    AA
    
    V
    
    I
    
    Applicative
    
    A
    
    AA
    
    V
    
    I
    
    Apply
    
    A
    
    AA
    
    V
    
    I
    
    Boolean_Algebra
    
    A
    
    BA
    
    V
    
    Bounded
    
    A
    
    B
    
    V
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    A
    
    BDL
    
    V
    
    Bounded_Join_Semilattice
    
    A
    
    BJS
    
    V
    
    Bounded_Lattice
    
    A
    
    BL
    
    V
    
    Bounded_Meet_Semilattice
    
    A
    
    BMS
    
    V
    
    Commutative_Ring
    
    A
    
    C
    
    V
    
    I
    
    Compare
    
    Division_Ring
    
    A
    
    D
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    EQ
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    E
    
    M
    
    V
    
    I
    
    Quasigroup
    
    A
    
    E
    
    QG
    
    V
    
    I
    
    Semiring
    
    A
    
    E
    
    S
    
    V
    
    I
    
    Distributive_Lattice
    
    A
    
    DL
    
    V
    
    Division_Ring
    
    A
    
    D
    
    V
    
    I
    
    Eq
    
    A
    
    E
    
    V
    
    I
    
    Euclidean_Ring
    
    A
    
    E
    
    V
    
    I
    
    Field
    
    A
    
    F
    
    V
    
    Functor
    
    AA
    
    F
    
    V
    
    Group
    
    A
    
    G
    
    V
    
    I
    
    Heyting_Algebra
    
    A
    
    HA
    
    V
    
    O
    
    Invariant
    
    AA
    
    I
    
    V
    
    Involutive_Heyting_Algebra
    
    A
    
    IHA
    
    V
    
    Join_Semilattice
    
    A
    
    JS
    
    V
    
    Lattice
    
    A
    
    L
    
    V
    
    Loop
    
    A
    
    L
    
    V
    
    I
    
    Medial_Magma
    
    A
    
    M
    
    V
    
    I
    
    Meet_Semilattice
    
    A
    
    MS
    
    V
    
    Monad
    
    AA
    
    M
    
    V
    
    I
    
    Monoid
    
    A
    
    M
    
    V
    
    I
    
    Ord
    
    A
    
    O
    
    V
    
    Ordering_Functions
    
    Plus
    
    AA
    
    P
    
    V
    
    I
    
    Quasigroup
    
    A
    
    QG
    
    V
    
    I
    
    Ring
    
    A
    
    R
    
    V
    
    I
    
    Semigroup
    
    A
    
    S
    
    V
    
    I
    
    Semiring
    
    A
    
    S
    
    V
    
    I
    
    Monoid
    
    V
    
    I
    
    Ord
    
    V
    
    Ordering_Functions
    
    Q
    
    Quasigroup
    
    V
    
    I
    
    Semigroup
    
    V
    
    I
    
    T
    
    TEST
  - Tuple
    
    APPLICATIVE_F
    
    M
    
    APPLY_F
    
    S
    
    Applicative
    
    M
    
    Apply
    
    S
    
    BITRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Biapplicative
    
    Biapply
    
    Bifoldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    Bifunctor
    
    Bitraversable
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    EQ_F
    
    First
    
    Second
    
    Eq
    
    First
    
    Second
    
    FOLDABLE_F
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    FUNCTOR_F
    
    T
    
    Foldable
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    Functor
    
    T
    
    Infix
    
    MAGMA_F
    
    First
    
    Second
    
    MONAD_F
    
    M
    
    MONOID_F
    
    First
    
    Second
    
    Magma
    
    First
    
    Second
    
    Monad
    
    M
    
    Monoid
    
    First
    
    Second
    
    SEMIGROUP_F
    
    First
    
    Second
    
    SHOW_F
    
    First
    
    Second
    
    Semigroup
    
    First
    
    Second
    
    Semigroupoid
    
    Show
    
    First
    
    Second
    
    TRAVERSABLE_F
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
    
    Traversable
    
    A
    
    Fold_Map
    
    M
    
    Fold_Map_Any
    
    M
    
    Fold_Map_Plus
    
    P
    
    T
  - Verify
    
    Abelian_Group
    
    A
    
    Abelian_Group_Any
    
    A
    
    Alt
    
    A
    
    I
    
    Alternative
    
    A
    
    I
    
    Applicative
    
    A
    
    I
    
    Apply
    
    A
    
    I
    
    Bicontravariant
    
    B
    
    Bifunctor
    
    B
    
    Boolean_Algebra
    
    B
    
    Bounded
    
    B
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    L
    
    Bounded_Join_Semilattice
    
    J
    
    Bounded_Lattice
    
    L
    
    Bounded_Meet_Semilattice
    
    M
    
    Category
    
    C
    
    I
    
    Commutative_Ring
    
    I
    
    R
    
    Comonad
    
    C
    
    Compare
    
    Abelian_Group
    
    A
    
    E
    
    Abelian_Group_Any
    
    A
    
    E
    
    Alt
    
    A
    
    E
    
    I
    
    Alternative
    
    A
    
    E
    
    I
    
    Applicative
    
    A
    
    E
    
    I
    
    Apply
    
    A
    
    E
    
    I
    
    Bicontravariant
    
    B
    
    E
    
    Bifunctor
    
    B
    
    E
    
    Boolean_Algebra
    
    B
    
    E
    
    Bounded
    
    B
    
    Ordering_Functions
    
    Bounded_Distributive_Lattice
    
    E
    
    L
    
    Bounded_Join_Semilattice
    
    B
    
    E
    
    Bounded_Lattice
    
    E
    
    L
    
    Bounded_Meet_Semilattice
    
    B
    
    E
    
    Category
    
    C
    
    E
    
    I
    
    Commutative_Ring
    
    E
    
    I
    
    R
    
    Comonad
    
    C
    
    E
    
    Contravariant
    
    C
    
    E
    
    Distributive_Lattice
    
    E
    
    L
    
    Division_Ring
    
    E
    
    I
    
    R
    
    Eq
    
    E
    
    I
    
    Euclidean_Ring
    
    E
    
    I
    
    R
    
    Extend
    
    E
    
    X
    
    Field
    
    E
    
    F
    
    Functor
    
    E
    
    F
    
    Group
    
    E
    
    G
    
    I
    
    Group_Any
    
    E
    
    G
    
    I
    
    Heyting_Algebra
    
    E
    
    H
    
    O
    
    Invariant
    
    E
    
    I
    
    Involutive_Heyting_Algebra
    
    E
    
    H
    
    Join_Semilattice
    
    E
    
    J
    
    Lattice
    
    E
    
    L
    
    Loop
    
    E
    
    I
    
    L
    
    Loop_Any
    
    E
    
    I
    
    L
    
    Medial_Magma
    
    E
    
    I
    
    M
    
    Medial_Quasigroup
    
    E
    
    I
    
    Q
    
    Meet_Semilattice
    
    E
    
    M
    
    Monad
    
    E
    
    I
    
    M
    
    Monad_Plus
    
    E
    
    M
    
    Monad_Zero
    
    E
    
    M
    
    Monoid
    
    E
    
    I
    
    M
    
    Monoid_Any
    
    E
    
    I
    
    M
    
    Ord
    
    E
    
    Ordering_Functions
    
    Plus
    
    E
    
    I
    
    P
    
    Profunctor
    
    E
    
    P
    
    Quasigroup
    
    E
    
    I
    
    Q
    
    Quasigroup_Any
    
    E
    
    I
    
    Q
    
    Quasireflexive_Eq
    
    E
    
    I
    
    Ring
    
    E
    
    I
    
    R
    
    Semigroup
    
    E
    
    I
    
    S
    
    Semigroup_Any
    
    E
    
    I
    
    S
    
    Semigroupoid
    
    E
    
    I
    
    S
    
    Semiring
    
    E
    
    I
    
    S
    
    Contravariant
    
    C
    
    Distributive_Lattice
    
    L
    
    Division_Ring
    
    I
    
    R
    
    Eq
    
    E
    
    I
    
    Euclidean_Ring
    
    I
    
    R
    
    Extend
    
    E
    
    Field
    
    F
    
    Functor
    
    F
    
    Group
    
    G
    
    I
    
    Group_Any
    
    G
    
    I
    
    Heyting_Algebra
    
    H
    
    O
    
    Invariant
    
    I
    
    Involutive_Heyting_Algebra
    
    H
    
    Join_Semilattice
    
    J
    
    Lattice
    
    L
    
    Loop
    
    I
    
    L
    
    Loop_Any
    
    I
    
    L
    
    Medial_Magma
    
    I
    
    M
    
    Medial_Quasigroup
    
    I
    
    Q
    
    Meet_Semilattice
    
    M
    
    Monad
    
    I
    
    M
    
    Monad_Plus
    
    M
    
    Monad_Zero
    
    M
    
    Monoid
    
    I
    
    M
    
    Monoid_Any
    
    I
    
    M
    
    Ord
    
    E
    
    Ordering_Functions
    
    Plus
    
    I
    
    P
    
    Profunctor
    
    P
    
    Quasigroup
    
    I
    
    Q
    
    Quasigroup_Any
    
    I
    
    Q
    
    Ring
    
    I
    
    R
    
    Semigroup
    
    I
    
    S
    
    Semigroup_Any
    
    I
    
    S
    
    Semigroupoid
    
    I
    
    S
    
    Semiring
    
    I
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module H : Interface.HEYTING_ALGEBRA

module E : Interface.EQ with type t = H.t

Signature

val involution : H.t -> bool