module Language.PureScript.Constants.Data.Generic.Rep where import Language.PureScript.Names pattern DataGenericRep :: ModuleName pattern $bDataGenericRep :: ModuleName $mDataGenericRep :: forall {r}. ModuleName -> ((# #) -> r) -> ((# #) -> r) -> r DataGenericRep = ModuleName "Data.Generic.Rep" pattern Generic :: Qualified (ProperName 'ClassName) pattern $bGeneric :: Qualified (ProperName 'ClassName) $mGeneric :: forall {r}. Qualified (ProperName 'ClassName) -> ((# #) -> r) -> ((# #) -> r) -> r Generic = Qualified (ByModuleName DataGenericRep) (ProperName "Generic") to :: Qualified Ident to :: Qualified Ident to = forall a. QualifiedBy -> a -> Qualified a Qualified (ModuleName -> QualifiedBy ByModuleName ModuleName DataGenericRep) (Text -> Ident Ident Text "to") from :: Qualified Ident from :: Qualified Ident from = forall a. QualifiedBy -> a -> Qualified a Qualified (ModuleName -> QualifiedBy ByModuleName ModuleName DataGenericRep) (Text -> Ident Ident Text "from") pattern NoConstructors :: Qualified (ProperName a) pattern $bNoConstructors :: forall (a :: ProperNameType). Qualified (ProperName a) $mNoConstructors :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r NoConstructors = Qualified (ByModuleName DataGenericRep) (ProperName "NoConstructors") pattern NoArguments :: Qualified (ProperName a) pattern $bNoArguments :: forall (a :: ProperNameType). Qualified (ProperName a) $mNoArguments :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r NoArguments = Qualified (ByModuleName DataGenericRep) (ProperName "NoArguments") pattern Sum :: Qualified (ProperName a) pattern $bSum :: forall (a :: ProperNameType). Qualified (ProperName a) $mSum :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Sum = Qualified (ByModuleName DataGenericRep) (ProperName "Sum") pattern Inl :: Qualified (ProperName a) pattern $bInl :: forall (a :: ProperNameType). Qualified (ProperName a) $mInl :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Inl = Qualified (ByModuleName DataGenericRep) (ProperName "Inl") pattern Inr :: Qualified (ProperName a) pattern $bInr :: forall (a :: ProperNameType). Qualified (ProperName a) $mInr :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Inr = Qualified (ByModuleName DataGenericRep) (ProperName "Inr") pattern Product :: Qualified (ProperName a) pattern $bProduct :: forall (a :: ProperNameType). Qualified (ProperName a) $mProduct :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Product = Qualified (ByModuleName DataGenericRep) (ProperName "Product") pattern Constructor :: Qualified (ProperName a) pattern $bConstructor :: forall (a :: ProperNameType). Qualified (ProperName a) $mConstructor :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Constructor = Qualified (ByModuleName DataGenericRep) (ProperName "Constructor") pattern Argument :: Qualified (ProperName a) pattern $bArgument :: forall (a :: ProperNameType). Qualified (ProperName a) $mArgument :: forall {r} {a :: ProperNameType}. Qualified (ProperName a) -> ((# #) -> r) -> ((# #) -> r) -> r Argument = Qualified (ByModuleName DataGenericRep) (ProperName "Argument")