gendocs-0.1.3: Library for generating interface documentation from types

Safe HaskellSafe
LanguageHaskell2010

Data.Docs.Selectors

Synopsis

Documentation

class Selectors rep where Source #

Minimal complete definition

selectors

Methods

selectors :: Proxy rep -> [(String, TypeRep)] Source #

Instances

Selectors (* -> *) U1 Source # 

Methods

selectors :: Proxy U1 rep -> [(String, TypeRep)] Source #

(Selectors (* -> *) a, Selectors (* -> *) b) => Selectors (* -> *) ((:+:) a b) Source #

We don't really want to deal with sum types

Methods

selectors :: Proxy (a :+: b) rep -> [(String, TypeRep)] Source #

(Selectors (* -> *) a, Selectors (* -> *) b) => Selectors (* -> *) ((:*:) a b) Source # 

Methods

selectors :: Proxy (a :*: b) rep -> [(String, TypeRep)] Source #

Selectors (* -> *) f => Selectors (* -> *) (M1 D x f) Source # 

Methods

selectors :: Proxy (M1 D x f) rep -> [(String, TypeRep)] Source #

Selectors (* -> *) f => Selectors (* -> *) (M1 C x f) Source # 

Methods

selectors :: Proxy (M1 C x f) rep -> [(String, TypeRep)] Source #

(Selector Meta s, Typeable * t) => Selectors (* -> *) (M1 S s (K1 R t)) Source # 

Methods

selectors :: Proxy (M1 S s (K1 R t)) rep -> [(String, TypeRep)] Source #