Yesod.JobQueue.GenericConstr

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

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

class Constructors f where

Methods

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

Instances

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

Constructors f => Constructors (D1 d f)

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

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

Methods

fields :: proxy f -> [String]

Instances

Fields U1

Typeable * a => Fields (K1 i a)

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

Fields f => Fields (M1 i c f)