package clarity

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package clarity

clarity
- Clarity
  - Align
    
    Basic
    
    Basic2
    
    Basic3
    
    Make
    
    A
    
    Make2
    
    A
    
    Make3
    
    A
    
    S
    
    S2
    
    S3
  - Applicative
    
    Basic
    
    Basic2
    
    Basic3
    
    Make
    
    A
    
    Make2
    
    A
    
    Make3
    
    A
    
    S
    
    S2
    
    S3
  - Caml
  - Either
  - Fn
  - Foldable
    
    Basic
    
    M
    
    M2
    
    M3
    
    Make
    
    F
    
    S
  - Functor
    
    Basic
    
    Basic2
    
    Basic3
    
    Make
    
    F
    
    Make2
    
    F
    
    Make3
    
    F
    
    S
    
    S2
    
    S3
  - Id
  - Internal
    
    Vector
    
    A
    
    A
    
    A2
    
    A
    
    A3
    
    A
    
    AP
    
    Arr
    
    Concatenation
    
    M
    
    M
    
    M2
    
    M
    
    M3
    
    M
  - List
    
    A
    
    A
    
    A2
    
    A
    
    A3
    
    A
    
    M
    
    M
    
    M2
    
    M
    
    M3
    
    M
  - Monad
    
    Basic
    
    Basic2
    
    Basic3
    
    Make
    
    M
    
    Make2
    
    M
    
    Make3
    
    M
    
    S
    
    S2
    
    S3
  - Monoid
    
    All
    
    Any
    
    Dual
    
    M
    
    Endo
    
    T
    
    Int
    
    Max
    
    Min
    
    Product
    
    Sum
    
    Opt
    
    S
    
    Pair
    
    M1
    
    M2
    
    S
  - Option
  - Reader
  - Semigroup
    
    First
    
    T
    
    Last
    
    T
    
    S
  - State
  - These
    
    Make
    
    S
  - Traversable
    
    Basic
    
    Basic2
    
    Basic3
    
    Make
    
    T
    
    Make2
    
    T
    
    Make3
    
    T
    
    S
    
    S2
    
    S3
  - Validation
    
    Make
    
    S
  - Vector
    
    A
    
    A
    
    A2
    
    A
    
    A3
    
    A
    
    M
    
    M
    
    M2
    
    M
    
    M3
    
    M
  - Void
  - Writer
    
    Make
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module A : Basic3

Signature

include Basic3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t

include Functor.Basic3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t

val pure : 'a -> ('p, 'q, 'a) A.t

val ap : 
  ('p, 'q, 'a -> 'b) A.t ->
  (unit -> ('p, 'q, 'a) A.t) ->
  ('p, 'q, 'b) A.t

include Functor.S3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t

include Functor.Basic3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t

val map : ('a -> 'b) -> ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t

val (>|=) : ('p, 'q, 'a) A.t -> ('a -> 'b) -> ('p, 'q, 'b) A.t

val replace : 'a -> ('p, 'q, 'b) A.t -> ('p, 'q, 'a) A.t

val void : ('p, 'q, 'a) A.t -> ('p, 'q, unit) A.t

val ap' : ('p, 'q, 'a -> 'b) A.t -> ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t

val (<*>) : ('p, 'q, 'a -> 'b) A.t -> ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t

val (<~>) : 
  ('p, 'q, 'a -> 'b) A.t ->
  (unit -> ('p, 'q, 'a) A.t) ->
  ('p, 'q, 'b) A.t

val discard_left : 
  ('p, 'q, 'a) A.t ->
  (unit -> ('p, 'q, 'b) A.t) ->
  ('p, 'q, 'b) A.t

val discard_right : 
  ('p, 'q, 'a) A.t ->
  (unit -> ('p, 'q, 'b) A.t) ->
  ('p, 'q, 'a) A.t

val repeat : int -> ('p, 'q, 'a) A.t -> ('p, 'q, 'a list) A.t

val repeat_ : int -> ('p, 'q, 'a) A.t -> ('p, 'q, unit) A.t

val forever : ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t