Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.Edge.Type

Documentation

data Edge e where Source

Constructors

Edge :: (Int -> Int -> e) -> Edge e

Instances

Build (Edge e) Source
(Show i, Show (RunningIndex i), Show e, Show (Elm ls i)) => Show (Elm ((:!:) ls (Edge e)) i) Source
Element ls i => Element ((:!:) ls (Edge e)) i Source
type Stack (Edge e) = (:!:) S (Edge e)
type TermArg (Edge e) = e Source
data Elm ((:!:) ls (Edge e)) = ElmEdge !e !(RunningIndex i) (Elm ls i) Source
type Arg ((:!:) ls (Edge e)) = (:.) (Arg ls) e Source