Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
(TermStream m (Z :. pos) (TermSymbol M (MultiChr c v x)) (Elm (Term1 (Elm ls (PointR i))) (Z :. PointR i)) (Z :. PointR i), posLeft ~ LeftPosTy pos (MultiChr c v x) (PointR i), TermStaticVar pos (MultiChr c v x) (PointR i), MkStream m posLeft ls (PointR i)) => MkStream m (pos :: Type) (ls :!: MultiChr c v x) (PointR i) Source # | |
(TermStreamContext m ps ts s x0 i0 is (PointR I), KnownNat c) => TermStream m (ps :. IVariable d :: Type) (TermSymbol ts (MultiChr c v x)) s (is :. PointR I) Source # | |
(TermStreamContext m ps ts s x0 i0 is (PointR I), KnownNat c) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts (MultiChr c v x)) s (is :. PointR I) Source # | |
KnownNat c => TermStaticVar (IVariable d :: Type) (MultiChr c v x) (PointR I) Source # | |
KnownNat c => TermStaticVar (IStatic d :: Type) (MultiChr c v x) (PointR I) Source # | |