Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Build (PeekIndex i) Source | |
(Show i, Show (RunningIndex i), Show (Elm ls i)) => Show (Elm ((:!:) ls (PeekIndex i)) i) Source | |
Element ls i => Element ((:!:) ls (PeekIndex i)) i Source | |
type Stack (PeekIndex i) = (:!:) S (PeekIndex i) | |
type TermArg (PeekIndex i) = PeekIndex i Source | |
type Arg ((:!:) ls (PeekIndex i)) = (:.) (Arg ls) i Source | |
data Elm ((:!:) ls (PeekIndex i)) i = ElmPeekIndex !i !(RunningIndex i) !(Elm ls i) Source |