ADPfusion-0.6.0.0: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Unit.Term.Epsilon

Contents

Orphan instances

(TermStream m (Z :. pos) (TermSymbol M (Epsilon lg)) (Elm (Term1 (Elm ls (Unit i))) (Z :. Unit i)) (Z :. Unit i), posLeft ~ LeftPosTy pos (Epsilon lg) (Unit i), TermStaticVar pos (Epsilon lg) (Unit i), MkStream m posLeft ls (Unit i)) => MkStream m (pos :: Type) (ls :!: Epsilon lg) (Unit i) Source # 
Instance details

Methods

mkStream :: Proxy pos -> (ls :!: Epsilon lg) -> Int# -> LimitType (Unit i) -> Unit i -> Stream m (Elm (ls :!: Epsilon lg) (Unit i)) Source #