ADP.Fusion.Unit.Core

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

TODO should d in each case here be d==0? What is the exact meaning d should convey?

Orphan instances

Monad m => MkStream m Complement S (Unit C)

Methods

mkStream :: Proxy Complement -> S -> Int# -> LimitType (Unit C) -> Unit C -> Stream m (Elm S (Unit C))

Monad m => MkStream m (OStatic d :: Type) S (Unit O)

Methods

mkStream :: Proxy (OStatic d) -> S -> Int# -> LimitType (Unit O) -> Unit O -> Stream m (Elm S (Unit O))

Monad m => MkStream m (IVariable d :: Type) S (Unit I)

Methods

mkStream :: Proxy (IVariable d) -> S -> Int# -> LimitType (Unit I) -> Unit I -> Stream m (Elm S (Unit I))

Monad m => MkStream m (IStatic d :: Type) S (Unit I)

Methods

mkStream :: Proxy (IStatic d) -> S -> Int# -> LimitType (Unit I) -> Unit I -> Stream m (Elm S (Unit I))