Free

Combination of a Free applicative functor and Free monad.

API

Free implements Functor, Applicative, ChainRec and Monad specifications.

Functor, Applicative, ChainRec and Monad functions:

• Free.prototype.map :: Free i a -> (a -> b) -> Free i b
• Free.prototype.ap :: Free i a -> Free i (a -> b) -> Free i b
• Free.prototype.chain :: Free i a -> (a -> Free i b) -> Free i b
• Free.chainRec :: ((a -> c, b -> c, a) -> Free i c, a) -> Free i b
• Free.of :: a -> Free i a

Free structure functions:

• Free.prototype.hoist :: Free i a -> (i -> z) -> Free z a
• Free.liftF :: i -> Free i a
• Free.prototype.retract :: (ChainRec m, Monad m) => Free m a -> TypeRep m -> m a
• Free.prototype.graft :: Free i a -> (i -> Free z a) -> Free z a
• Free.prototype.foldMap :: (ChainRec m, Monad m) => Free i a -> (i -> m a) -> TypeRep m -> m a

Free structure function equivalencies:

• graft(f) ≡ foldMap(f, Free)
• hoist(f) ≡ foldMap(compose(liftF, f), Free)
• retract(M) ≡ foldMap(id, M)
• foldMap(f, M) ≡ compose(retract(M), hoist(f))

This module was started as port of srijs/haskell-free-concurrent to JavaScript.