ADP.Fusion.Core.Unit

TODO the mkStream instances here are probably wonky for everything that is non-static.

Documentation

Orphan instances

Monad m => MkStream m S (Unit C)

Methods

mkStream :: S -> Context (Unit C) -> Unit C -> Unit C -> Stream m (Elm S (Unit C))

Monad m => MkStream m S (Unit O)

Methods

mkStream :: S -> Context (Unit O) -> Unit O -> Unit O -> Stream m (Elm S (Unit O))

Monad m => MkStream m S (Unit I)

Methods

mkStream :: S -> Context (Unit I) -> Unit I -> Unit I -> Stream m (Elm S (Unit I))

TableStaticVar c u (Unit C)

Methods

tableStaticVar :: Proxy * c -> u -> Context (Unit C) -> Unit C -> Context (Unit C)

tableStreamIndex :: Proxy * c -> u -> Context (Unit C) -> Unit C -> Unit C

TableStaticVar c u (Unit O)

Methods

tableStaticVar :: Proxy * c -> u -> Context (Unit O) -> Unit O -> Context (Unit O)

tableStreamIndex :: Proxy * c -> u -> Context (Unit O) -> Unit O -> Unit O

TableStaticVar c u (Unit I)

Methods

tableStaticVar :: Proxy * c -> u -> Context (Unit I) -> Unit I -> Context (Unit I)

tableStreamIndex :: Proxy * c -> u -> Context (Unit I) -> Unit I -> Unit I

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit C))

Methods

mkStream :: S -> Context (is :. Unit C) -> (is :. Unit C) -> (is :. Unit C) -> Stream m (Elm S (is :. Unit C))

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit O))

Methods

mkStream :: S -> Context (is :. Unit O) -> (is :. Unit O) -> (is :. Unit O) -> Stream m (Elm S (is :. Unit O))

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit I))

Methods

mkStream :: S -> Context (is :. Unit I) -> (is :. Unit I) -> (is :. Unit I) -> Stream m (Elm S (is :. Unit I))

RuleContext (Unit I)

Associated Types

type Context (Unit I) :: *

Methods

initialContext :: Unit I -> Context (Unit I)

RuleContext (Unit O)

Associated Types

type Context (Unit O) :: *

Methods

initialContext :: Unit O -> Context (Unit O)

RuleContext (Unit C)

Associated Types

type Context (Unit C) :: *

Methods

initialContext :: Unit C -> Context (Unit C)