Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
(Monad m, Element ls (Complement Subword), MkStream m ls (Complement Subword)) => MkStream m ((:!:) ls (PeekIndex (Complement Subword))) (Complement Subword) | |
Build (PeekIndex i) | |
(Show i, Show (Elm ls i)) => Show (Elm ((:!:) ls (PeekIndex i)) i) | |
Element ls i => Element ((:!:) ls (PeekIndex i)) i | |
type Stack (PeekIndex i) = (:!:) S (PeekIndex i) | |
type Arg ((:!:) ls (PeekIndex i)) = (:.) (Arg ls) ((:.) i i) | |
type TermArg (TermSymbol a (PeekIndex i)) = (:.) (TermArg a) (PeekIndex i) | |
data Elm ((:!:) ls (PeekIndex i)) i = ElmPeekIndex !i !i !(Elm ls i) |