package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Using bounded join_lattice semilattice and bounded meet_lattice semilattice
Over Bounded join_lattice semilattice and over bounded meet_lattice semilattice
Manual construction

package preface

preface
- Preface
preface.core
- Preface_core
  - Either
  - Fun
    
    Infix
  - Monoid
  - Nonempty_list
  - Void
preface.stdlib
- Preface_stdlib
  - Approximation
    
    Over
    
    Applicative
    
    Infix
    
    Syntax
    
    M
    
    Infix
    
    Selective
    
    Infix
    
    Syntax
    
    Under
    
    Applicative
    
    Infix
    
    Syntax
    
    M
    
    Infix
    
    Selective
    
    Infix
    
    Syntax
  - Continuation
    
    Applicative
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
  - Either
    
    Alt
    
    Infix
    
    Syntax
    
    T
    
    Applicative
    
    Infix
    
    Syntax
    
    T
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Bifunctor
    
    Foldable
    
    T
    
    Functor
    
    Infix
    
    Syntax
    
    T
    
    Invariant
    
    T
    
    Monad
    
    Infix
    
    Syntax
    
    T
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    T
  - Env
    
    Over
    
    Comonad
    
    Infix
    
    Syntax
    
    Env
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Local
    
    Env
    
    Syntax
  - Equivalence
    
    Contravariant
    
    Infix
    
    Decidable
    
    Infix
    
    Divisible
    
    Infix
    
    Invariant
  - Exn
  - Fun
    
    Arrow
    
    Infix
    
    Arrow_apply
    
    Infix
    
    Arrow_choice
    
    Infix
    
    Category
    
    Infix
    
    Choice
    
    Closed
    
    Infix
    
    Profunctor
    
    Semigroupoid
    
    Infix
    
    Strong
  - Identity
    
    Applicative
    
    Infix
    
    Syntax
    
    Comonad
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
  - List
    
    Alternative
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Monad_plus
    
    Infix
    
    Syntax
    
    Monoid
    
    Infix
    
    T
    
    Selective
    
    Infix
    
    Syntax
  - Nonempty_list
    
    Alt
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Comonad
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    Semigroup
    
    Infix
    
    T
  - Option
    
    Alternative
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Monad_plus
    
    Infix
    
    Syntax
    
    Monoid
    
    Infix
    
    M
    
    Infix
    
    Selective
    
    Infix
    
    Syntax
  - Pair
    
    Bifunctor
    
    Infix
  - Predicate
    
    Contravariant
    
    Infix
    
    Decidable
    
    Infix
    
    Divisible
    
    Infix
    
    Infix
    
    Invariant
  - Reader
    
    Over
    
    Applicative
    
    Infix
    
    Syntax
    
    Env
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Syntax
  - Result
    
    Alt
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Bifunctor
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Monad
    
    Infix
    
    Syntax
    
    Mono
    
    Alt
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    T
    
    Selective
    
    Infix
    
    Syntax
  - Seq
    
    Alternative
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Monad_plus
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
  - State
    
    Over
    
    Applicative
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    State
    
    Syntax
  - Store
    
    Over
    
    Comonad
    
    Infix
    
    Syntax
    
    Experiment
    
    F
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Store
    
    Syntax
  - Stream
    
    Applicative
    
    Infix
    
    Syntax
    
    Comonad
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
  - Traced
    
    Over
    
    Comonad
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Syntax
    
    Tape
    
    Infix
  - Try
    
    Alt
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
  - Validate
    
    Alt
    
    Infix
    
    Syntax
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Foldable
    
    Functor
    
    Infix
    
    Syntax
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
  - Validation
    
    Alt
    
    Errors
    
    Infix
    
    Infix
    
    Syntax
    
    Applicative
    
    Errors
    
    Infix
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Bifunctor
    
    Foldable
    
    T
    
    Functor
    
    Infix
    
    Syntax
    
    T
    
    Invariant
    
    T
    
    Monad
    
    Infix
    
    Syntax
    
    T
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Errors
    
    Infix
    
    Infix
    
    Syntax
  - Void
  - Writer
    
    Over
    
    Applicative
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Syntax
    
    Infix
    
    Invariant
    
    Monad
    
    Infix
    
    Syntax
    
    Syntax
    
    Tape
    
    Infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

Building a Preface_specs.Bounded_lettice

Using bounded join_lattice semilattice and bounded meet_lattice semilattice

Build a Preface_specs.BOUNDED_LATTICE using Preface_specs.BOUNDED_LATTICE.WITH_BOUNDED_JOIN_AND_BOUNDED_MEET.

module Via_bounded_join_lattice_and_bounded_meet_lattice
  (Req : 
    Preface_specs.Bounded_lattice.WITH_BOUNDED_JOIN_LATTICE_AND_BOUNDED_MEET_LATTICE) : 
  Preface_specs.BOUNDED_LATTICE with type t = Req.t

Over Bounded join_lattice semilattice and over bounded meet_lattice semilattice

Produces a Preface_specs.BOUNDED_LATTICE from a Preface_specs.BOUNDED_JOIN_SEMILATTICE. and a Preface_specs.BOUNDED_MEET_SEMILATTICE.

module Over_bounded_join_lattice_and_bounded_meet_lattice
  (Join_req : Preface_specs.Bounded_join_semilattice.CORE)
  (Meet_req : 
    Preface_specs.Bounded_meet_semilattice.CORE with type t = Join_req.t) : 
  Preface_specs.BOUNDED_LATTICE with type t = Meet_req.t

Manual construction

Advanced way to build a Preface_specs.BOUNDED_LATTICE, constructing and assembling a component-by-component of Preface_specs.BOUNDED_LATTICE. (In order to provide your own implementation for some features.)

Grouping of all components

module Via
  (Core : Preface_specs.Bounded_lattice.CORE)
  (Infix : Preface_specs.Bounded_lattice.INFIX with type t = Core.t) : 
  Preface_specs.BOUNDED_LATTICE with type t = Infix.t

Building Core

module Core_via_bounded_join_lattice_and_bounded_meet_lattice
  (Req : 
    Preface_specs.Bounded_lattice.WITH_BOUNDED_JOIN_LATTICE_AND_BOUNDED_MEET_LATTICE) : 
  Preface_specs.Bounded_lattice.CORE with type t = Req.t

module Core_over_bounded_join_lattice_and_bounded_meet_lattice
  (Join_req : Preface_specs.Bounded_join_semilattice.CORE)
  (Meet_req : 
    Preface_specs.Bounded_meet_semilattice.CORE with type t = Join_req.t) : 
  Preface_specs.Bounded_lattice.CORE with type t = Meet_req.t

Deriving Infix

module Infix
  (Core : Preface_specs.Bounded_lattice.CORE) : 
  Preface_specs.Bounded_lattice.INFIX with type t = Core.t