Package com.jnape.palatable.lambda.functor.builtin

package com.jnape.palatable.lambda.functor.builtin
  • Classes
    Class
    Description
    Compose<F extends Applicative<?,F>,G extends Applicative<?,G>,A>
    A functor representing the type-level composition of two Applicative functors; useful for preserving nested type-level transformations during traversal of a Traversable.
    Const<A,B>
    A (surprisingly useful) functor over some phantom type B, retaining a value of type A that can be retrieved later.
    Exchange<A,B,S,T>
    A profunctor used to extract the isomorphic functions an Iso is composed of.
    Identity<A>
    A functor over some value of type A that can be mapped over and retrieved later.
    Lazy<A>
    A Monad representing a lazily-computed value.
    Lazy.Compose<A>
     
    Lazy.Later<A>
     
    Market<A,B,S,T>
    A profunctor used to extract the isomorphic functions a Prism is composed of.
    State<S,A>
    The state Monad, useful for iteratively building up state and state-contextualized result.
    Tagged<S,B>
    Like Const, but the phantom parameter is in the contravariant position, and the value is in covariant position.
    Writer<W,A>
    The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and a value.