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")