Function runFreeM

runFreeM<F>(functor): (<M>(m) => (<T>(runner) => ((fr) => Get1<M, T>)))
Executes and interprets tokens of your language F by runner on environment M.
Type Parameters
- F
Parameters
- functor: Functor<F>
  A Functor instance for F.
Returns (<M>(m) => (<T>(runner) => ((fr) => Get1<M, T>)))
The execution result on M.
- - <M>(m): (<T>(runner) => ((fr) => Get1<M, T>))
  - Type Parameters
    - M
    Parameters
    - m: MonadRec<M>
    Returns (<T>(runner) => ((fr) => Get1<M, T>))
    - - <T>(runner): ((fr) => Get1<M, T>)
      - Type Parameters
        T
        Parameters
        runner: ((token) => Get1<M, Free<F, T>>)
        (token): Get1<M, Free<F, T>>
        Parameters
        token: Get1<F, Free<F, T>>
        Returns Get1<M, Free<F, T>>
        Returns ((fr) => Get1<M, T>)
        (fr): Get1<M, T>
        Parameters
        fr: Free<F, T>
        Returns Get1<M, T>
- Defined in src/free.ts:151

Generated using TypeDoc