Yesod.JobQueue.GenericConstr

Demo> genericConstructors (Proxy :: Proxy (Either Int Bool))

Demo> genericConstructors (Proxy :: Proxy [Bool])

class Constructors f where

Minimal complete definition

constructors

Methods

constructors :: Proxy f -> [[String]]

Instances

(Constructors f, Constructors g) => Constructors ((:+:) f g)

Methods

constructors :: Proxy (* -> *) (f :+: g) -> [[String]]

Constructors f => Constructors (D1 d f)

Methods

constructors :: Proxy (* -> *) (D1 d f) -> [[String]]

(Fields f, Constructor Meta c) => Constructors (C1 c f)

Methods

constructors :: Proxy (* -> *) (C1 c f) -> [[String]]

pmap :: (f a -> g b) -> proxy g -> Proxy f

genericConstructors :: forall a proxy. (Generic a, Constructors (Rep a)) => proxy a -> [[String]]

class Fields f where

Minimal complete definition

fields

Methods

fields :: proxy f -> [String]

Instances

Fields U1

Methods

fields :: proxy U1 -> [String]

Typeable * a => Fields (K1 i a)

Methods

fields :: proxy (K1 i a) -> [String]

(Fields f, Fields g) => Fields ((:*:) f g)

Methods

fields :: proxy (f :*: g) -> [String]

Fields f => Fields (M1 i c f)

Methods

fields :: proxy (M1 i c f) -> [String]