Type alias Free<F, T>

Free<F, T>: Return<T> | Bind<F, T>

A Free monad, which represents a list of tokens of your domain-specific-language (DSL).

F can be any kind and not required a Functor instance, but it may be needed when to interpret by functions such as runFree.

Type Parameters

  • F

  • T

Generated using TypeDoc