Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Core.Term.PeekIndex

Documentation

data PeekIndex i Source #

Constructors

PeekIndex

Instances

(Show i, Show (RunningIndex i), Show (Elm ls i)) => Show (Elm (ls :!: PeekIndex i) i) Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex Methods showsPrec :: Int -> Elm (ls :!: PeekIndex i) i -> ShowS # show :: Elm (ls :!: PeekIndex i) i -> String # showList :: [Elm (ls :!: PeekIndex i) i] -> ShowS #
Build (PeekIndex i) Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex Associated Types type Stack (PeekIndex i) :: Type Source # Methods build :: PeekIndex i -> Stack (PeekIndex i) Source #
Element ls i => Element (ls :!: PeekIndex i) i Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex Associated Types data Elm (ls :!: PeekIndex i) i :: Type Source # type RecElm (ls :!: PeekIndex i) i :: Type Source # type Arg (ls :!: PeekIndex i) :: Type Source # Methods getArg :: Elm (ls :!: PeekIndex i) i -> Arg (ls :!: PeekIndex i) Source # getIdx :: Elm (ls :!: PeekIndex i) i -> RunningIndex i Source # getElm :: Elm (ls :!: PeekIndex i) i -> RecElm (ls :!: PeekIndex i) i Source #
type Stack (PeekIndex i) Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex type Stack (PeekIndex i) = S :!: PeekIndex i
type Arg (ls :!: PeekIndex i) Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex type Arg (ls :!: PeekIndex i) = Arg ls :. i
type TermArg (PeekIndex i) Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex type TermArg (PeekIndex i) = PeekIndex i
data Elm (ls :!: PeekIndex i) i Source #
Instance details Defined in ADP.Fusion.Core.Term.PeekIndex data Elm (ls :!: PeekIndex i) i = ElmPeekIndex !i !(RunningIndex i) !(Elm ls i)