Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
(Monad m, Element ls (Complement (BS2I First Last)), MkStream m ls (Complement (BS2I First Last))) => MkStream m ((:!:) ls (Edge f)) (Complement (BS2I First Last)) | |
(Monad m, Element ls (Outside (BS2I First Last)), MkStream m ls (Outside (BS2I First Last))) => MkStream m ((:!:) ls (Edge f)) (Outside (BS2I First Last)) | |
(Monad m, Element ls (BS2I First Last), MkStream m ls (BS2I First Last)) => MkStream m ((:!:) ls (Edge e)) (BS2I First Last) | |
Build (Edge e) | |
(Show i, Show e, Show (Elm ls i)) => Show (Elm ((:!:) ls (Edge e)) i) | |
Element ls i => Element ((:!:) ls (Edge e)) i | |
type Stack (Edge e) = (:!:) S (Edge e) | |
data Elm ((:!:) ls (Edge e)) = ElmEdge !e !i !i (Elm ls i) | |
type Arg ((:!:) ls (Edge e)) = (:.) (Arg ls) e | |
type TermArg (TermSymbol a (Edge e)) = (:.) (TermArg a) e |