Data.Morpheus.Generics.TypeRep

Documentation

class Selectors rep t where

Methods

getFields :: Proxy rep -> [(t, TypeLib -> TypeLib)]

Instances

Selectors (U1 :: k -> Type) t

Defined in Data.Morpheus.Generics.TypeRep

Methods

getFields :: Proxy U1 -> [(t, TypeLib -> TypeLib)]

(Selector s, GQLInput a) => Selectors (RecSel s a :: Type -> Type) (Text, InputField)

Defined in Data.Morpheus.Kind.GQLArgs

Methods

getFields :: Proxy (RecSel s a) -> [((Text, InputField), TypeLib -> TypeLib)]

(Selector s, GQLObject a) => Selectors (RecSel s a :: Type -> Type) (Text, ObjectField)

Defined in Data.Morpheus.Kind.GQLObject

Methods

getFields :: Proxy (RecSel s a) -> [((Text, ObjectField), TypeLib -> TypeLib)]

(Selectors a t, Selectors b t) => Selectors (a :*: b :: k -> Type) t

Defined in Data.Morpheus.Generics.TypeRep

Methods

getFields :: Proxy (a :*: b) -> [(t, TypeLib -> TypeLib)]

Selectors f t => Selectors (M1 C x f :: k -> Type) t

Defined in Data.Morpheus.Generics.TypeRep

Methods

getFields :: Proxy (M1 C x f) -> [(t, TypeLib -> TypeLib)]

Selectors f t => Selectors (M1 D x f :: k -> Type) t

Defined in Data.Morpheus.Generics.TypeRep

Methods

getFields :: Proxy (M1 D x f) -> [(t, TypeLib -> TypeLib)]

resolveTypes :: TypeLib -> [TypeLib -> TypeLib] -> TypeLib