Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Core.Unit

Contents

Orphan instances

Description

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

Documentation

Orphan instances

Monad m => MkStream m S (Unit C) Source #
Methods mkStream :: S -> Context (Unit C) -> Unit C -> Unit C -> Stream m (Elm S (Unit C)) Source #
Monad m => MkStream m S (Unit O) Source #
Methods mkStream :: S -> Context (Unit O) -> Unit O -> Unit O -> Stream m (Elm S (Unit O)) Source #
Monad m => MkStream m S (Unit I) Source #
Methods mkStream :: S -> Context (Unit I) -> Unit I -> Unit I -> Stream m (Elm S (Unit I)) Source #
TableStaticVar c u (Unit C) Source #
Methods tableStaticVar :: Proxy * c -> u -> Context (Unit C) -> Unit C -> Context (Unit C) Source # tableStreamIndex :: Proxy * c -> u -> Context (Unit C) -> Unit C -> Unit C Source #
TableStaticVar c u (Unit O) Source #
Methods tableStaticVar :: Proxy * c -> u -> Context (Unit O) -> Unit O -> Context (Unit O) Source # tableStreamIndex :: Proxy * c -> u -> Context (Unit O) -> Unit O -> Unit O Source #
TableStaticVar c u (Unit I) Source #
Methods tableStaticVar :: Proxy * c -> u -> Context (Unit I) -> Unit I -> Context (Unit I) Source # tableStreamIndex :: Proxy * c -> u -> Context (Unit I) -> Unit I -> Unit I Source #
(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit C)) Source #
Methods mkStream :: S -> Context (is :. Unit C) -> (is :. Unit C) -> (is :. Unit C) -> Stream m (Elm S (is :. Unit C)) Source #
(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit O)) Source #
Methods mkStream :: S -> Context (is :. Unit O) -> (is :. Unit O) -> (is :. Unit O) -> Stream m (Elm S (is :. Unit O)) Source #
(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit I)) Source #
Methods mkStream :: S -> Context (is :. Unit I) -> (is :. Unit I) -> (is :. Unit I) -> Stream m (Elm S (is :. Unit I)) Source #
RuleContext (Unit I) Source #
Associated Types type Context (Unit I) :: * Source # Methods initialContext :: Unit I -> Context (Unit I) Source #
RuleContext (Unit O) Source #
Associated Types type Context (Unit O) :: * Source # Methods initialContext :: Unit O -> Context (Unit O) Source #
RuleContext (Unit C) Source #
Associated Types type Context (Unit C) :: * Source # Methods initialContext :: Unit C -> Context (Unit C) Source #