Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
(TermStream m (Z :. pos) (TermSymbol M (Chr r x)) (Elm (Term1 (Elm ls (PointL i))) (Z :. PointL i)) (Z :. PointL i), posLeft ~ LeftPosTy pos (Chr r x) (PointL i), TermStaticVar pos (Chr r x) (PointL i), MkStream m posLeft ls (PointL i)) => MkStream m (pos :: Type) (ls :!: Chr r x) (PointL i) Source # | First try in getting this right with a TODO use TODO it might even be possible to auto-generate this code via TH. |
TermStreamContext m ps ts s x0 i0 is (PointL O) => TermStream m (ps :. OStatic d :: Type) (TermSymbol ts (Chr r x)) s (is :. PointL O) Source # | |
TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts (Chr r x)) s (is :. PointL I) Source # | |
TermStaticVar (IStatic d :: Type) (Chr r x) (PointL I) Source # | |
TermStaticVar (OStatic d :: Type) (Chr r x) (PointL O) Source # | |