package alg_structs

You can search for identifiers within the package.

in-package search v0.2.0

package alg_structs

alg_structs: Algebraic Structures in OCaml Structs
- Library alg_structs
  - Alg_structs
    
    Triv
    
    S
    
    Functor
    
    Seed
    
    UnlabeledSeed
    
    S
    
    Law
    
    Make
    
    MakeUnlabeled
    
    Option
    
    List
    
    Array
    
    Applicative
    
    Seed
    
    S
    
    Let_bind
    
    Law
    
    Make
    
    Let_bind
    
    Option
    
    Let_bind
    
    List
    
    Let_bind
    
    Array
    
    Let_bind
    
    Semigroup
    
    Seed
    
    Seed1
    
    S
    
    S1
    
    Law
    
    Make
    
    Bool
    
    Or
    
    And
    
    Int
    
    Sum
    
    Product
    
    Option
    
    Make
    
    Endo
    
    Make
    
    Dual
    
    Make
    
    Monoid
    
    Seed
    
    S
    
    Law
    
    Make
    
    Bool
    
    Or
    
    And
    
    Int
    
    Sum
    
    Product
    
    Option
    
    Make
    
    Endo
    
    Make
    
    Dual
    
    Make
    
    Foldable
    
    Seed
    
    S
    
    Law
    
    Make
    
    Option
    
    List
    
    Array
    
    NonEmptyList
- Sources
  - alg_structs
    
    alg_structs.ml
    
    alg_structs__.ml
    
    applicative.ml
    
    foldable.ml
    
    functor.ml
    
    monoid.ml
    
    nonEmptyList.ml
    
    semigroup.ml
    
    traversable.ml
    
    triv.ml
    
    util.ml

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

Module `Monoid.Bool`Source

Monoids over bool

Sourcemodule Or : S with type t = bool

op is (||) and unit is false ...

Sourcemodule And : S with type t = bool

op is (&&) and unit is true