Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
TermStaticVar Epsilon (Unit I) Source # | |
TermStaticVar Epsilon (Unit O) Source # | |
TstCtx m ts s x0 i0 is (Unit O) => TermStream m (TermSymbol ts Epsilon) s ((:.) is (Unit O)) Source # | |
TstCtx m ts s x0 i0 is (Unit I) => TermStream m (TermSymbol ts Epsilon) s ((:.) is (Unit I)) Source # | |
TmkCtx1 m ls Epsilon (Unit i) => MkStream m ((:!:) ls Epsilon) (Unit i) Source # | |