Namespace Free

This package provides a Free monad which makes any kind F into a Monad instance. It is useful for creating your own domain-specific-language (DSL) and its interpreter.

Index

Interfaces

FreeHkt

Type Aliases

Bind Free Return

Functions

applicative apply cmp cutoff eq equality flatMap flatten foldFree foldL foldMap foldR functor hoistFree intoCont intoResult isBind isReturn iter iterA iterM liftF map monad monadRec newBind newReturn ord partialCmp partialEq partialEqUnary partialEquality partialOrd productT pure retract runFree runFreeM substFree suspendF tailRecM traverse unfold unfoldM wrap

Settings

Member Visibility

Theme

Generated using TypeDoc