| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.OpenApi.Compare.References
Contents
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.
Minimal complete definition
typeRep#