Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Unit.Term.Deletion

Contents

Orphan instances

(TermStream m (Z :. pos) (TermSymbol M Deletion) (Elm (Term1 (Elm ls (Unit i))) (Z :. Unit i)) (Z :. Unit i), posLeft ~ LeftPosTy pos Deletion (Unit i), TermStaticVar pos Deletion (Unit i), MkStream m posLeft ls (Unit i)) => MkStream m (pos :: Type) (ls :!: Deletion) (Unit i) Source #
Instance details Methods mkStream :: Proxy pos -> (ls :!: Deletion) -> Int# -> LimitType (Unit i) -> Unit i -> Stream m (Elm (ls :!: Deletion) (Unit i)) Source #
TermStaticVar (IStatic d :: Type) Deletion (Unit I) Source #
Instance details Methods termStreamIndex :: Proxy (IStatic d) -> Deletion -> Unit I -> Unit I Source # termStaticCheck :: Proxy (IStatic d) -> Deletion -> LimitType (Unit I) -> Unit I -> Int# -> Int# Source #
(TermStreamContext m ps ts s x0 i0 is (Unit I), Monad m, TermStream m ps ts (Elm x0 i0) is) => TermStream m (ps :. p :: a :. b) (TermSymbol ts Deletion) s (is :. Unit I) Source #
Instance details Methods termStream :: Proxy (ps :. p) -> TermSymbol ts Deletion -> LimitType (is :. Unit I) -> (is :. Unit I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. Unit I) (TermArg (TermSymbol ts Deletion))) Source #