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