Safe Haskell | None |
---|
Documentation
Build None | |
(Monad m, Elms ls Subword, MkStream m ls Subword) => MkStream m (:!: ls None) Subword | |
(Monad m, TermElm m ts is) => TermElm m (Term ts None) (:. is PointL) | |
ValidIndex ls Subword => ValidIndex (:!: ls None) Subword | |
Elms ls Subword => Elms (:!: ls None) Subword | |
TermValidIndex ts is => TermValidIndex (Term ts None) (:. is PointL) |