Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data family Step a b :: Type
- dereference :: Typeable a => Traced (Definitions a) -> Traced (Referenced a) -> Traced a
- class Typeable (a :: k)
Documentation
data family Step a b :: Type Source #
How to get from an a
node to a b
node
Instances
dereference :: Typeable a => Traced (Definitions a) -> Traced (Referenced a) -> Traced a Source #
The class Typeable
allows a concrete representation of a type to
be calculated.
typeRep#