Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class TypeGraphVertex v where
- data TGV' = TGV' {
- _field :: Maybe Field
- _vsimple :: TGVSimple'
- field :: Lens' TGV' (Maybe Field)
- vsimple :: Lens' TGV' TGVSimple'
- type TGV = (Vertex, TGV')
- data TGVSimple' = TGVSimple' {}
- syns :: Lens' TGVSimple' (Set Name)
- etype :: Lens' TGVSimple' (E Type)
- type TGVSimple = (Vertex, TGVSimple')
- bestTypeQ :: TypeGraphVertex v => v -> TypeQ
Documentation
class TypeGraphVertex v where Source #
A vertex of the type graph. Includes a type and (optionally) what field of a parent type holds that type. This allows special treatment of a type depending on the type that contains it.
data TGVSimple' Source #
For simple type graphs where no parent field information is required.
type TGVSimple = (Vertex, TGVSimple') Source #
bestTypeQ :: TypeGraphVertex v => v -> TypeQ Source #