Safe Haskell	Safe
Language	Haskell2010

Generics.Linear

Description

Multiplicity polymorphic versions of GHC.Generics.Generic and GHC.Generics.Generic1. Generic is otherwise identical to the standard version. Generic1 is similar, but with modifications that make it more efficient, as well as supporting linearity.

This module re-exports everything in GHC.Generics except Generic, Generic1, Rec1, and :.:. The Generic1 representations here don't need Rec1. We expose our own, identical, :.:. This allows users to instantiate their Generic1-based generic-deriving classes so they can be used with both GHC.Generics and this package.

In addition to the usual generic types, we export one called MP1 for use with nonlinear and multiplicity polymorphic fields. Nonlinear generic-deriving classes should almost always handle MP1 without restriction. Some linear generic-deriving classes will need to constrain its m parameter to be 'One.

Synopsis

class Generic a where
- type Rep a :: Type -> Type
- to :: forall p m. Rep a p %m -> a
- from :: forall p m. a %m -> Rep a p
class Generic1 (f :: k -> Type) where
- type Rep1 f :: k -> Type
- to1 :: forall p m. Rep1 f p %m -> f p
- from1 :: forall p m. f p %m -> Rep1 f p
newtype (f :.: g) x = Comp1 {
- unComp1 :: f (g x)
}
data MP1 :: forall k. Multiplicity -> (k -> Type) -> k -> Type where
- MP1 :: f a -> MP1 m f a
unMP1 :: MP1 m f a %n -> f a
class Datatype (d :: k) where
- datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char]
- moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char]
- packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char]
- isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> Bool
class Constructor (c :: k) where
- conName :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> [Char]
- conFixity :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> Fixity
- conIsRecord :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> Bool
class Selector (s :: k) where
- selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> [Char]
- selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> SourceUnpackedness
- selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> SourceStrictness
- selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> DecidedStrictness
data V1 (p :: k)
data U1 (p :: k) = U1
newtype Par1 p = Par1 {
- unPar1 :: p
}
newtype K1 i c (p :: k) = K1 {
- unK1 :: c
}
newtype M1 i (c :: Meta) (f :: k -> Type) (p :: k) = M1 {
- unM1 :: f p
}
data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k)
- = L1 (f p)
- | R1 (g p)
data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k) = (f p) :*: (g p)
data R
data D
data C
data S
type Rec0 = K1 R :: Type -> k -> Type
type D1 = M1 D :: Meta -> (k -> Type) -> k -> Type
type C1 = M1 C :: Meta -> (k -> Type) -> k -> Type
type S1 = M1 S :: Meta -> (k -> Type) -> k -> Type
data family URec a (p :: k)
type UAddr = URec (Ptr ()) :: k -> Type
type UChar = URec Char :: k -> Type
type UDouble = URec Double :: k -> Type
type UFloat = URec Float :: k -> Type
type UInt = URec Int :: k -> Type
type UWord = URec Word :: k -> Type
data SourceUnpackedness
- = NoSourceUnpackedness
- | SourceNoUnpack
- | SourceUnpack
data SourceStrictness
- = NoSourceStrictness
- | SourceLazy
- | SourceStrict
data Meta
- = MetaData Symbol Symbol Symbol Bool
- | MetaCons Symbol FixityI Bool
- | MetaSel (Maybe Symbol) SourceUnpackedness SourceStrictness DecidedStrictness
data FixityI
- = PrefixI
- | InfixI Associativity Nat
data Fixity
- = Prefix
- | Infix Associativity Int
data DecidedStrictness
- = DecidedLazy
- | DecidedStrict
- | DecidedUnpack
data Associativity
- = LeftAssociative
- | RightAssociative
- | NotAssociative
prec :: Fixity -> Int

Documentation

class Generic a where Source #

Generic is exactly the same as GHC.Generics.Generic except that to and from are multiplicity polymorphic. This means they will work equally well in traditional Haskell code and in linearly typed code.

Associated Types

type Rep a :: Type -> Type Source #

Methods

to :: forall p m. Rep a p %m -> a Source #

from :: forall p m. a %m -> Rep a p Source #

Instances

Instances details

Generic All Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep All :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep All p %m -> All Source # from :: forall p (m :: Multiplicity). All %m -> Rep All p Source #
Generic Any Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Any :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Any p %m -> Any Source # from :: forall p (m :: Multiplicity). Any %m -> Rep Any p Source #
Generic Version Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Version :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Version p %m -> Version Source # from :: forall p (m :: Multiplicity). Version %m -> Rep Version p Source #
Generic Void Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Void :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Void p %m -> Void Source # from :: forall p (m :: Multiplicity). Void %m -> Rep Void p Source #
Generic Associativity Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Associativity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Associativity p %m -> Associativity Source # from :: forall p (m :: Multiplicity). Associativity %m -> Rep Associativity p Source #
Generic DecidedStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep DecidedStrictness p %m -> DecidedStrictness Source # from :: forall p (m :: Multiplicity). DecidedStrictness %m -> Rep DecidedStrictness p Source #
Generic Fixity Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Fixity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Fixity p %m -> Fixity Source # from :: forall p (m :: Multiplicity). Fixity %m -> Rep Fixity p Source #
Generic SourceStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceStrictness p %m -> SourceStrictness Source # from :: forall p (m :: Multiplicity). SourceStrictness %m -> Rep SourceStrictness p Source #
Generic SourceUnpackedness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceUnpackedness p %m -> SourceUnpackedness Source # from :: forall p (m :: Multiplicity). SourceUnpackedness %m -> Rep SourceUnpackedness p Source #
Generic ExitCode Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ExitCode :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep ExitCode p %m -> ExitCode Source # from :: forall p (m :: Multiplicity). ExitCode %m -> Rep ExitCode p Source #
Generic ForeignSrcLang Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep ForeignSrcLang :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep ForeignSrcLang p %m -> ForeignSrcLang Source # from :: forall p (m :: Multiplicity). ForeignSrcLang %m -> Rep ForeignSrcLang p Source #
Generic Extension Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Extension :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Extension p %m -> Extension Source # from :: forall p (m :: Multiplicity). Extension %m -> Rep Extension p Source #
Generic Ordering Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Ordering :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Ordering p %m -> Ordering Source # from :: forall p (m :: Multiplicity). Ordering %m -> Rep Ordering p Source #
Generic AnnLookup Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep AnnLookup :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep AnnLookup p %m -> AnnLookup Source # from :: forall p (m :: Multiplicity). AnnLookup %m -> Rep AnnLookup p Source #
Generic AnnTarget Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep AnnTarget :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep AnnTarget p %m -> AnnTarget Source # from :: forall p (m :: Multiplicity). AnnTarget %m -> Rep AnnTarget p Source #
Generic Bang Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Bang :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Bang p %m -> Bang Source # from :: forall p (m :: Multiplicity). Bang %m -> Rep Bang p Source #
Generic Body Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Body :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Body p %m -> Body Source # from :: forall p (m :: Multiplicity). Body %m -> Rep Body p Source #
Generic Callconv Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Callconv :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Callconv p %m -> Callconv Source # from :: forall p (m :: Multiplicity). Callconv %m -> Rep Callconv p Source #
Generic Clause Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Clause :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Clause p %m -> Clause Source # from :: forall p (m :: Multiplicity). Clause %m -> Rep Clause p Source #
Generic Con Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Con :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Con p %m -> Con Source # from :: forall p (m :: Multiplicity). Con %m -> Rep Con p Source #
Generic Dec Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Dec :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Dec p %m -> Dec Source # from :: forall p (m :: Multiplicity). Dec %m -> Rep Dec p Source #
Generic DecidedStrictness Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep DecidedStrictness p %m -> DecidedStrictness Source # from :: forall p (m :: Multiplicity). DecidedStrictness %m -> Rep DecidedStrictness p Source #
Generic Exp Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Exp :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Exp p %m -> Exp Source # from :: forall p (m :: Multiplicity). Exp %m -> Rep Exp p Source #
Generic FamilyResultSig Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep FamilyResultSig :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep FamilyResultSig p %m -> FamilyResultSig Source # from :: forall p (m :: Multiplicity). FamilyResultSig %m -> Rep FamilyResultSig p Source #
Generic Fixity Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Fixity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Fixity p %m -> Fixity Source # from :: forall p (m :: Multiplicity). Fixity %m -> Rep Fixity p Source #
Generic FixityDirection Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep FixityDirection :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep FixityDirection p %m -> FixityDirection Source # from :: forall p (m :: Multiplicity). FixityDirection %m -> Rep FixityDirection p Source #
Generic Foreign Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Foreign :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Foreign p %m -> Foreign Source # from :: forall p (m :: Multiplicity). Foreign %m -> Rep Foreign p Source #
Generic FunDep Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep FunDep :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep FunDep p %m -> FunDep Source # from :: forall p (m :: Multiplicity). FunDep %m -> Rep FunDep p Source #
Generic Guard Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Guard :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Guard p %m -> Guard Source # from :: forall p (m :: Multiplicity). Guard %m -> Rep Guard p Source #
Generic Info Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Info :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Info p %m -> Info Source # from :: forall p (m :: Multiplicity). Info %m -> Rep Info p Source #
Generic InjectivityAnn Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep InjectivityAnn :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep InjectivityAnn p %m -> InjectivityAnn Source # from :: forall p (m :: Multiplicity). InjectivityAnn %m -> Rep InjectivityAnn p Source #
Generic Inline Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Inline :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Inline p %m -> Inline Source # from :: forall p (m :: Multiplicity). Inline %m -> Rep Inline p Source #
Generic Lit Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Lit :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Lit p %m -> Lit Source # from :: forall p (m :: Multiplicity). Lit %m -> Rep Lit p Source #
Generic Loc Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Loc :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Loc p %m -> Loc Source # from :: forall p (m :: Multiplicity). Loc %m -> Rep Loc p Source #
Generic Match Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Match :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Match p %m -> Match Source # from :: forall p (m :: Multiplicity). Match %m -> Rep Match p Source #
Generic Module Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Module :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Module p %m -> Module Source # from :: forall p (m :: Multiplicity). Module %m -> Rep Module p Source #
Generic ModuleInfo Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep ModuleInfo :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep ModuleInfo p %m -> ModuleInfo Source # from :: forall p (m :: Multiplicity). ModuleInfo %m -> Rep ModuleInfo p Source #
Generic Name Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Name :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Name p %m -> Name Source # from :: forall p (m :: Multiplicity). Name %m -> Rep Name p Source #
Generic NameFlavour Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep NameFlavour :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep NameFlavour p %m -> NameFlavour Source # from :: forall p (m :: Multiplicity). NameFlavour %m -> Rep NameFlavour p Source #
Generic NameSpace Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep NameSpace :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep NameSpace p %m -> NameSpace Source # from :: forall p (m :: Multiplicity). NameSpace %m -> Rep NameSpace p Source #
Generic OccName Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep OccName :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep OccName p %m -> OccName Source # from :: forall p (m :: Multiplicity). OccName %m -> Rep OccName p Source #
Generic Pat Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Pat :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Pat p %m -> Pat Source # from :: forall p (m :: Multiplicity). Pat %m -> Rep Pat p Source #
Generic PatSynArgs Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep PatSynArgs :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep PatSynArgs p %m -> PatSynArgs Source # from :: forall p (m :: Multiplicity). PatSynArgs %m -> Rep PatSynArgs p Source #
Generic PatSynDir Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep PatSynDir :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep PatSynDir p %m -> PatSynDir Source # from :: forall p (m :: Multiplicity). PatSynDir %m -> Rep PatSynDir p Source #
Generic Phases Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Phases :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Phases p %m -> Phases Source # from :: forall p (m :: Multiplicity). Phases %m -> Rep Phases p Source #
Generic PkgName Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep PkgName :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep PkgName p %m -> PkgName Source # from :: forall p (m :: Multiplicity). PkgName %m -> Rep PkgName p Source #
Generic Pragma Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Pragma :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Pragma p %m -> Pragma Source # from :: forall p (m :: Multiplicity). Pragma %m -> Rep Pragma p Source #
Generic Range Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Range :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Range p %m -> Range Source # from :: forall p (m :: Multiplicity). Range %m -> Rep Range p Source #
Generic Role Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Role :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Role p %m -> Role Source # from :: forall p (m :: Multiplicity). Role %m -> Rep Role p Source #
Generic RuleBndr Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep RuleBndr :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep RuleBndr p %m -> RuleBndr Source # from :: forall p (m :: Multiplicity). RuleBndr %m -> Rep RuleBndr p Source #
Generic RuleMatch Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep RuleMatch :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep RuleMatch p %m -> RuleMatch Source # from :: forall p (m :: Multiplicity). RuleMatch %m -> Rep RuleMatch p Source #
Generic Safety Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Safety :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Safety p %m -> Safety Source # from :: forall p (m :: Multiplicity). Safety %m -> Rep Safety p Source #
Generic SourceStrictness Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceStrictness p %m -> SourceStrictness Source # from :: forall p (m :: Multiplicity). SourceStrictness %m -> Rep SourceStrictness p Source #
Generic SourceUnpackedness Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceUnpackedness p %m -> SourceUnpackedness Source # from :: forall p (m :: Multiplicity). SourceUnpackedness %m -> Rep SourceUnpackedness p Source #
Generic Specificity Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Specificity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Specificity p %m -> Specificity Source # from :: forall p (m :: Multiplicity). Specificity %m -> Rep Specificity p Source #
Generic Stmt Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Stmt :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Stmt p %m -> Stmt Source # from :: forall p (m :: Multiplicity). Stmt %m -> Rep Stmt p Source #
Generic TyLit Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep TyLit :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep TyLit p %m -> TyLit Source # from :: forall p (m :: Multiplicity). TyLit %m -> Rep TyLit p Source #
Generic TySynEqn Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep TySynEqn :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep TySynEqn p %m -> TySynEqn Source # from :: forall p (m :: Multiplicity). TySynEqn %m -> Rep TySynEqn p Source #
Generic Type Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep Type :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Type p %m -> Type Source # from :: forall p (m :: Multiplicity). Type %m -> Rep Type p Source #
Generic TypeFamilyHead Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep TypeFamilyHead :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep TypeFamilyHead p %m -> TypeFamilyHead Source # from :: forall p (m :: Multiplicity). TypeFamilyHead %m -> Rep TypeFamilyHead p Source #
Generic () Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep () :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep () p %m -> () Source # from :: forall p (m :: Multiplicity). () %m -> Rep () p Source #
Generic Bool Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Bool :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Bool p %m -> Bool Source # from :: forall p (m :: Multiplicity). Bool %m -> Rep Bool p Source #
Generic Char Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Char :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Char p %m -> Char Source # from :: forall p (m :: Multiplicity). Char %m -> Rep Char p Source #
Generic Double Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Double :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Double p %m -> Double Source # from :: forall p (m :: Multiplicity). Double %m -> Rep Double p Source #
Generic Float Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Float :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Float p %m -> Float Source # from :: forall p (m :: Multiplicity). Float %m -> Rep Float p Source #
Generic Int Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Int :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Int p %m -> Int Source # from :: forall p (m :: Multiplicity). Int %m -> Rep Int p Source #
Generic Word Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Word :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Word p %m -> Word Source # from :: forall p (m :: Multiplicity). Word %m -> Rep Word p Source #
Generic (ZipList a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (ZipList a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (ZipList a) p %m -> ZipList a Source # from :: forall p (m :: Multiplicity). ZipList a %m -> Rep (ZipList a) p Source #
Generic (Complex a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Complex a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Complex a) p %m -> Complex a Source # from :: forall p (m :: Multiplicity). Complex a %m -> Rep (Complex a) p Source #
Generic (Identity a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Identity a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Identity a) p %m -> Identity a Source # from :: forall p (m :: Multiplicity). Identity a %m -> Rep (Identity a) p Source #
Generic (First a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (First a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (First a) p %m -> First a Source # from :: forall p (m :: Multiplicity). First a %m -> Rep (First a) p Source #
Generic (Last a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Last a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Last a) p %m -> Last a Source # from :: forall p (m :: Multiplicity). Last a %m -> Rep (Last a) p Source #
Generic (Down a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Down a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Down a) p %m -> Down a Source # from :: forall p (m :: Multiplicity). Down a %m -> Rep (Down a) p Source #
Generic (First a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (First a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (First a) p %m -> First a Source # from :: forall p (m :: Multiplicity). First a %m -> Rep (First a) p Source #
Generic (Last a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Last a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Last a) p %m -> Last a Source # from :: forall p (m :: Multiplicity). Last a %m -> Rep (Last a) p Source #
Generic (Max a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Max a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Max a) p %m -> Max a Source # from :: forall p (m :: Multiplicity). Max a %m -> Rep (Max a) p Source #
Generic (Min a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Min a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Min a) p %m -> Min a Source # from :: forall p (m :: Multiplicity). Min a %m -> Rep (Min a) p Source #
Generic (WrappedMonoid m) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (WrappedMonoid m) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (WrappedMonoid m) p %m0 -> WrappedMonoid m Source # from :: forall p (m0 :: Multiplicity). WrappedMonoid m %m0 -> Rep (WrappedMonoid m) p Source #
Generic (Dual a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Dual a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Dual a) p %m -> Dual a Source # from :: forall p (m :: Multiplicity). Dual a %m -> Rep (Dual a) p Source #
Generic (Endo a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Endo a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Endo a) p %m -> Endo a Source # from :: forall p (m :: Multiplicity). Endo a %m -> Rep (Endo a) p Source #
Generic (Product a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Product a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Product a) p %m -> Product a Source # from :: forall p (m :: Multiplicity). Product a %m -> Rep (Product a) p Source #
Generic (Sum a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Sum a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Sum a) p %m -> Sum a Source # from :: forall p (m :: Multiplicity). Sum a %m -> Rep (Sum a) p Source #
Generic (Par1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Par1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (Par1 p) p0 %m -> Par1 p Source # from :: forall p0 (m :: Multiplicity). Par1 p %m -> Rep (Par1 p) p0 Source #
Generic (Ptr a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Ptr a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Ptr a) p %m -> Ptr a Source # from :: forall p (m :: Multiplicity). Ptr a %m -> Rep (Ptr a) p Source #
Generic (Digit a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (Digit a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Digit a) p %m -> Digit a Source # from :: forall p (m :: Multiplicity). Digit a %m -> Rep (Digit a) p Source #
Generic (Elem a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (Elem a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Elem a) p %m -> Elem a Source # from :: forall p (m :: Multiplicity). Elem a %m -> Rep (Elem a) p Source #
Generic (FingerTree a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (FingerTree a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (FingerTree a) p %m -> FingerTree a Source # from :: forall p (m :: Multiplicity). FingerTree a %m -> Rep (FingerTree a) p Source #
Generic (Node a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (Node a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Node a) p %m -> Node a Source # from :: forall p (m :: Multiplicity). Node a %m -> Rep (Node a) p Source #
Generic (ViewL a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (ViewL a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (ViewL a) p %m -> ViewL a Source # from :: forall p (m :: Multiplicity). ViewL a %m -> Rep (ViewL a) p Source #
Generic (ViewR a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (ViewR a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (ViewR a) p %m -> ViewR a Source # from :: forall p (m :: Multiplicity). ViewR a %m -> Rep (ViewR a) p Source #
Generic (Tree a) Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep (Tree a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Tree a) p %m -> Tree a Source # from :: forall p (m :: Multiplicity). Tree a %m -> Rep (Tree a) p Source #
Generic a => Generic (GHCGenerically a) Source #
Instance details Defined in Generics.Linear.Unsafe.ViaGHCGenerics Associated Types type Rep (GHCGenerically a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (GHCGenerically a) p %m -> GHCGenerically a Source # from :: forall p (m :: Multiplicity). GHCGenerically a %m -> Rep (GHCGenerically a) p Source #
Generic (TyVarBndr flag) Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep (TyVarBndr flag) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (TyVarBndr flag) p %m -> TyVarBndr flag Source # from :: forall p (m :: Multiplicity). TyVarBndr flag %m -> Rep (TyVarBndr flag) p Source #
Generic (NonEmpty a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (NonEmpty a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (NonEmpty a) p %m -> NonEmpty a Source # from :: forall p (m :: Multiplicity). NonEmpty a %m -> Rep (NonEmpty a) p Source #
Generic (Maybe a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Maybe a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Maybe a) p %m -> Maybe a Source # from :: forall p (m :: Multiplicity). Maybe a %m -> Rep (Maybe a) p Source #
Generic (a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a) p %m -> (a) Source # from :: forall p (m :: Multiplicity). (a) %m -> Rep (a) p Source #
Generic [a] Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep [a] :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep [a] p %m -> [a] Source # from :: forall p (m :: Multiplicity). [a] %m -> Rep [a] p Source #
Generic (WrappedMonad m a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (WrappedMonad m a) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (WrappedMonad m a) p %m0 -> WrappedMonad m a Source # from :: forall p (m0 :: Multiplicity). WrappedMonad m a %m0 -> Rep (WrappedMonad m a) p Source #
Generic (Either a b) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Either a b) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Either a b) p %m -> Either a b Source # from :: forall p (m :: Multiplicity). Either a b %m -> Rep (Either a b) p Source #
Generic (Proxy t) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Proxy t) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Proxy t) p %m -> Proxy t Source # from :: forall p (m :: Multiplicity). Proxy t %m -> Rep (Proxy t) p Source #
Generic (Arg a b) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Arg a b) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Arg a b) p %m -> Arg a b Source # from :: forall p (m :: Multiplicity). Arg a b %m -> Rep (Arg a b) p Source #
Generic (U1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (U1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (U1 p) p0 %m -> U1 p Source # from :: forall p0 (m :: Multiplicity). U1 p %m -> Rep (U1 p) p0 Source #
Generic (V1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (V1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (V1 p) p0 %m -> V1 p Source # from :: forall p0 (m :: Multiplicity). V1 p %m -> Rep (V1 p) p0 Source #
Generic (a, b) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b) p %m -> (a, b) Source # from :: forall p (m :: Multiplicity). (a, b) %m -> Rep (a, b) p Source #
Generic (WrappedArrow a b c) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (WrappedArrow a b c) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (WrappedArrow a b c) p %m -> WrappedArrow a b c Source # from :: forall p (m :: Multiplicity). WrappedArrow a b c %m -> Rep (WrappedArrow a b c) p Source #
Generic (Kleisli m a b) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Kleisli m a b) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (Kleisli m a b) p %m0 -> Kleisli m a b Source # from :: forall p (m0 :: Multiplicity). Kleisli m a b %m0 -> Rep (Kleisli m a b) p Source #
Generic (Const a b) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Const a b) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Const a b) p %m -> Const a b Source # from :: forall p (m :: Multiplicity). Const a b %m -> Rep (Const a b) p Source #
Generic (Ap f a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Ap f a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Ap f a) p %m -> Ap f a Source # from :: forall p (m :: Multiplicity). Ap f a %m -> Rep (Ap f a) p Source #
Generic (Alt f a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Alt f a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Alt f a) p %m -> Alt f a Source # from :: forall p (m :: Multiplicity). Alt f a %m -> Rep (Alt f a) p Source #
Generic (Rec1 f p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Rec1 f p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (Rec1 f p) p0 %m -> Rec1 f p Source # from :: forall p0 (m :: Multiplicity). Rec1 f p %m -> Rep (Rec1 f p) p0 Source #
Generic (URec (Ptr ()) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec (Ptr ()) p) p0 %m -> URec (Ptr ()) p Source # from :: forall p0 (m :: Multiplicity). URec (Ptr ()) p %m -> Rep (URec (Ptr ()) p) p0 Source #
Generic (URec Char p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Char p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Char p) p0 %m -> URec Char p Source # from :: forall p0 (m :: Multiplicity). URec Char p %m -> Rep (URec Char p) p0 Source #
Generic (URec Double p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Double p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Double p) p0 %m -> URec Double p Source # from :: forall p0 (m :: Multiplicity). URec Double p %m -> Rep (URec Double p) p0 Source #
Generic (URec Float p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Float p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Float p) p0 %m -> URec Float p Source # from :: forall p0 (m :: Multiplicity). URec Float p %m -> Rep (URec Float p) p0 Source #
Generic (URec Int p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Int p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Int p) p0 %m -> URec Int p Source # from :: forall p0 (m :: Multiplicity). URec Int p %m -> Rep (URec Int p) p0 Source #
Generic (URec Word p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Word p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Word p) p0 %m -> URec Word p Source # from :: forall p0 (m :: Multiplicity). URec Word p %m -> Rep (URec Word p) p0 Source #
Generic (Code m a) Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep (Code m a) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (Code m a) p %m0 -> Code m a Source # from :: forall p (m0 :: Multiplicity). Code m a %m0 -> Rep (Code m a) p Source #
Generic (a, b, c) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c) p %m -> (a, b, c) Source # from :: forall p (m :: Multiplicity). (a, b, c) %m -> Rep (a, b, c) p Source #
Generic (Product f g a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Product f g a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Product f g a) p %m -> Product f g a Source # from :: forall p (m :: Multiplicity). Product f g a %m -> Rep (Product f g a) p Source #
Generic (Sum f g a) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Sum f g a) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (Sum f g a) p %m -> Sum f g a Source # from :: forall p (m :: Multiplicity). Sum f g a %m -> Rep (Sum f g a) p Source #
Generic ((f :*: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ((f :: g) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep ((f :: g) p) p0 %m -> (f :: g) p Source # from :: forall p0 (m :: Multiplicity). (f :: g) p %m -> Rep ((f :*: g) p) p0 Source #
Generic ((f :+: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ((f :+: g) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep ((f :+: g) p) p0 %m -> (f :+: g) p Source # from :: forall p0 (m :: Multiplicity). (f :+: g) p %m -> Rep ((f :+: g) p) p0 Source #
Generic (K1 i c p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (K1 i c p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (K1 i c p) p0 %m -> K1 i c p Source # from :: forall p0 (m :: Multiplicity). K1 i c p %m -> Rep (K1 i c p) p0 Source #
Generic (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep (MP1 m f a) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (MP1 m f a) p %m0 -> MP1 m f a Source # from :: forall p (m0 :: Multiplicity). MP1 m f a %m0 -> Rep (MP1 m f a) p Source #
Generic (a, b, c, d) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d) p %m -> (a, b, c, d) Source # from :: forall p (m :: Multiplicity). (a, b, c, d) %m -> Rep (a, b, c, d) p Source #
Generic ((f :.: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ((f :.: g) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep ((f :.: g) p) p0 %m -> (f :.: g) p Source # from :: forall p0 (m :: Multiplicity). (f :.: g) p %m -> Rep ((f :.: g) p) p0 Source #
Generic (M1 i c f p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (M1 i c f p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (M1 i c f p) p0 %m -> M1 i c f p Source # from :: forall p0 (m :: Multiplicity). M1 i c f p %m -> Rep (M1 i c f p) p0 Source #
Generic ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics Associated Types type Rep ((f :.: g) x) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep ((f :.: g) x) p %m -> (f :.: g) x Source # from :: forall p (m :: Multiplicity). (f :.: g) x %m -> Rep ((f :.: g) x) p Source #
Generic (a, b, c, d, e) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e) p %m -> (a, b, c, d, e) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e) %m -> Rep (a, b, c, d, e) p Source #
Generic (a, b, c, d, e, f) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f) p %m -> (a, b, c, d, e, f) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f) %m -> Rep (a, b, c, d, e, f) p Source #
Generic (a, b, c, d, e, f, g) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g) p %m -> (a, b, c, d, e, f, g) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g) %m -> Rep (a, b, c, d, e, f, g) p Source #
Generic (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g, h) p %m -> (a, b, c, d, e, f, g, h) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g, h) %m -> Rep (a, b, c, d, e, f, g, h) p Source #
Generic (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i) p %m -> (a, b, c, d, e, f, g, h, i) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g, h, i) %m -> Rep (a, b, c, d, e, f, g, h, i) p Source #
Generic (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j) p %m -> (a, b, c, d, e, f, g, h, i, j) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j) %m -> Rep (a, b, c, d, e, f, g, h, i, j) p Source #
Generic (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j, k) p %m -> (a, b, c, d, e, f, g, h, i, j, k) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k) %m -> Rep (a, b, c, d, e, f, g, h, i, j, k) p Source #
Generic (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j, k, l) p %m -> (a, b, c, d, e, f, g, h, i, j, k, l) Source # from :: forall p (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l) %m -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) p Source #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) p %m0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m) Source # from :: forall p (m0 :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, m) %m0 -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) p Source #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) p %m0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source # from :: forall p (m0 :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, m, n) %m0 -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) p Source #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) p %m0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source # from :: forall p (m0 :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) %m0 -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) p Source #

class Generic1 (f :: k -> Type) where Source #

Generic1 is similar to GHC.Generics.Generic1, but has a few differences.

Multiplicity polymorphism

As with Generic, the to1 and from1 methods are multiplicity polymorphic.

Differences in `Rep1` representation

`Rec1` is not used

Given a type like

newtype Foo a = Foo (Maybe a)

where a single type constructor (here Maybe) is applied to the parameter, GHC.Generics represents the field as Rec1 Maybe. We instead represent it using Par1 :.: Maybe. It is expected that very few real-life uses of GHC.Generics will break as a result, and this simplification means that users don't have to write Rec1 instances for their generic-deriving classes.

Compositions associate in the opposite order

Given a type like

newtype Bar a = Bar (Maybe [Either e a])

where multiple type constructors are layered around the parameter, "GHC.Generics@ represents the field as

Maybe :.: ([] :.: Rec1 (Either e))

We instead represent it as

((Par1 :.: Maybe) :.: []) :.: Either e

Doing it this way prevents to1 and from1 from having to fmap newtype constructors through the composed types, which can be a considerable performance improvement and enables multiplicity polymorphism.

In most cases, modifying generic-deriving classes to accommodate this change is simple: just swap which side of the composition is treated as a generic representation and which as a base type. In a few cases, more restructuring will be needed, which will require using different generic-deriving classes than for GHC.Generics.

Difference in specificity

Users of type application will need to be aware that the kind parameter for Generic1 is marked as inferred, whereas for GHC.Generics.Generic1 it is marked as specified. So you should use, for example, to1 @Maybe rather than to1 @_ @Maybe.

Associated Types

type Rep1 f :: k -> Type Source #

Methods

to1 :: forall p m. Rep1 f p %m -> f p Source #

from1 :: forall p m. f p %m -> Rep1 f p Source #

Instances

Instances details

Generic1 ZipList Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ZipList :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ZipList p %m -> ZipList p Source # from1 :: forall (p :: k) (m :: Multiplicity). ZipList p %m -> Rep1 ZipList p Source #
Generic1 Complex Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Complex :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Complex p %m -> Complex p Source # from1 :: forall (p :: k) (m :: Multiplicity). Complex p %m -> Rep1 Complex p Source #
Generic1 Identity Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Identity :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Identity p %m -> Identity p Source # from1 :: forall (p :: k) (m :: Multiplicity). Identity p %m -> Rep1 Identity p Source #
Generic1 First Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 First :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 First p %m -> First p Source # from1 :: forall (p :: k) (m :: Multiplicity). First p %m -> Rep1 First p Source #
Generic1 Last Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Last :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Last p %m -> Last p Source # from1 :: forall (p :: k) (m :: Multiplicity). Last p %m -> Rep1 Last p Source #
Generic1 Down Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Down :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Down p %m -> Down p Source # from1 :: forall (p :: k) (m :: Multiplicity). Down p %m -> Rep1 Down p Source #
Generic1 First Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 First :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 First p %m -> First p Source # from1 :: forall (p :: k) (m :: Multiplicity). First p %m -> Rep1 First p Source #
Generic1 Last Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Last :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Last p %m -> Last p Source # from1 :: forall (p :: k) (m :: Multiplicity). Last p %m -> Rep1 Last p Source #
Generic1 Max Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Max :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Max p %m -> Max p Source # from1 :: forall (p :: k) (m :: Multiplicity). Max p %m -> Rep1 Max p Source #
Generic1 Min Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Min :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Min p %m -> Min p Source # from1 :: forall (p :: k) (m :: Multiplicity). Min p %m -> Rep1 Min p Source #
Generic1 WrappedMonoid Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 WrappedMonoid :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 WrappedMonoid p %m -> WrappedMonoid p Source # from1 :: forall (p :: k) (m :: Multiplicity). WrappedMonoid p %m -> Rep1 WrappedMonoid p Source #
Generic1 Dual Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Dual :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Dual p %m -> Dual p Source # from1 :: forall (p :: k) (m :: Multiplicity). Dual p %m -> Rep1 Dual p Source #
Generic1 Product Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Product :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Product p %m -> Product p Source # from1 :: forall (p :: k) (m :: Multiplicity). Product p %m -> Rep1 Product p Source #
Generic1 Sum Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Sum :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Sum p %m -> Sum p Source # from1 :: forall (p :: k) (m :: Multiplicity). Sum p %m -> Rep1 Sum p Source #
Generic1 Par1 Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Par1 :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Par1 p %m -> Par1 p Source # from1 :: forall (p :: k) (m :: Multiplicity). Par1 p %m -> Rep1 Par1 p Source #
Generic1 Digit Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 Digit :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Digit p %m -> Digit p Source # from1 :: forall (p :: k) (m :: Multiplicity). Digit p %m -> Rep1 Digit p Source #
Generic1 Elem Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 Elem :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Elem p %m -> Elem p Source # from1 :: forall (p :: k) (m :: Multiplicity). Elem p %m -> Rep1 Elem p Source #
Generic1 FingerTree Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 FingerTree :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 FingerTree p %m -> FingerTree p Source # from1 :: forall (p :: k) (m :: Multiplicity). FingerTree p %m -> Rep1 FingerTree p Source #
Generic1 Node Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 Node :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Node p %m -> Node p Source # from1 :: forall (p :: k) (m :: Multiplicity). Node p %m -> Rep1 Node p Source #
Generic1 ViewL Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 ViewL :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ViewL p %m -> ViewL p Source # from1 :: forall (p :: k) (m :: Multiplicity). ViewL p %m -> Rep1 ViewL p Source #
Generic1 ViewR Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 ViewR :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ViewR p %m -> ViewR p Source # from1 :: forall (p :: k) (m :: Multiplicity). ViewR p %m -> Rep1 ViewR p Source #
Generic1 Tree Source #
Instance details Defined in Generics.Linear.Instances.Containers Associated Types type Rep1 Tree :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Tree p %m -> Tree p Source # from1 :: forall (p :: k) (m :: Multiplicity). Tree p %m -> Rep1 Tree p Source #
Generic1 TyVarBndr Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep1 TyVarBndr :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 TyVarBndr p %m -> TyVarBndr p Source # from1 :: forall (p :: k) (m :: Multiplicity). TyVarBndr p %m -> Rep1 TyVarBndr p Source #
Generic1 NonEmpty Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 NonEmpty :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 NonEmpty p %m -> NonEmpty p Source # from1 :: forall (p :: k) (m :: Multiplicity). NonEmpty p %m -> Rep1 NonEmpty p Source #
Generic1 Maybe Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Maybe :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Maybe p %m -> Maybe p Source # from1 :: forall (p :: k) (m :: Multiplicity). Maybe p %m -> Rep1 Maybe p Source #
Generic1 Solo Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Solo :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Solo p %m -> Solo p Source # from1 :: forall (p :: k) (m :: Multiplicity). Solo p %m -> Rep1 Solo p Source #
Generic1 [] Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 [] :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 [] p %m -> [p] Source # from1 :: forall (p :: k) (m :: Multiplicity). [p] %m -> Rep1 [] p Source #
Generic1 (WrappedMonad m :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (WrappedMonad m) :: k -> Type Source # Methods to1 :: forall (p :: k) (m0 :: Multiplicity). Rep1 (WrappedMonad m) p %m0 -> WrappedMonad m p Source # from1 :: forall (p :: k) (m0 :: Multiplicity). WrappedMonad m p %m0 -> Rep1 (WrappedMonad m) p Source #
Generic1 (Either a :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Either a) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (Either a) p %m -> Either a p Source # from1 :: forall (p :: k) (m :: Multiplicity). Either a p %m -> Rep1 (Either a) p Source #
Generic1 (Arg a :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Arg a) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (Arg a) p %m -> Arg a p Source # from1 :: forall (p :: k) (m :: Multiplicity). Arg a p %m -> Rep1 (Arg a) p Source #
Generic1 ((,) a :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,) a) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,) a) p %m -> (a, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, p) %m -> Rep1 ((,) a) p Source #
Generic1 (Proxy :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Proxy :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 Proxy p %m -> Proxy p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Proxy p %m -> Rep1 Proxy p Source #
Generic1 (U1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 U1 :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 U1 p %m -> U1 p Source # from1 :: forall (p :: k0) (m :: Multiplicity). U1 p %m -> Rep1 U1 p Source #
Generic1 (V1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 V1 :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 V1 p %m -> V1 p Source # from1 :: forall (p :: k0) (m :: Multiplicity). V1 p %m -> Rep1 V1 p Source #
Generic1 (WrappedArrow a b :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (WrappedArrow a b) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (WrappedArrow a b) p %m -> WrappedArrow a b p Source # from1 :: forall (p :: k) (m :: Multiplicity). WrappedArrow a b p %m -> Rep1 (WrappedArrow a b) p Source #
Generic1 (Kleisli m a :: Type -> TYPE LiftedRep) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Kleisli m a) :: k -> Type Source # Methods to1 :: forall (p :: k) (m0 :: Multiplicity). Rep1 (Kleisli m a) p %m0 -> Kleisli m a p Source # from1 :: forall (p :: k) (m0 :: Multiplicity). Kleisli m a p %m0 -> Rep1 (Kleisli m a) p Source #
Generic1 ((,,) a b :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,) a b) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,) a b) p %m -> (a, b, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, p) %m -> Rep1 ((,,) a b) p Source #
Generic1 (Const a :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Const a) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Const a) p %m -> Const a p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Const a p %m -> Rep1 (Const a) p Source #
Generic1 (Ap f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Ap f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Ap f) p %m -> Ap f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Ap f p %m -> Rep1 (Ap f) p Source #
Generic1 (Alt f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Alt f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Alt f) p %m -> Alt f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Alt f p %m -> Rep1 (Alt f) p Source #
Generic1 (Rec1 f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Rec1 f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Rec1 f) p %m -> Rec1 f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Rec1 f p %m -> Rep1 (Rec1 f) p Source #
Generic1 (URec (Ptr ()) :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec (Ptr ())) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec (Ptr ())) p %m -> URec (Ptr ()) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec (Ptr ()) p %m -> Rep1 (URec (Ptr ())) p Source #
Generic1 (URec Char :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Char) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Char) p %m -> URec Char p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Char p %m -> Rep1 (URec Char) p Source #
Generic1 (URec Double :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Double) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Double) p %m -> URec Double p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Double p %m -> Rep1 (URec Double) p Source #
Generic1 (URec Float :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Float) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Float) p %m -> URec Float p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Float p %m -> Rep1 (URec Float) p Source #
Generic1 (URec Int :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Int) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Int) p %m -> URec Int p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Int p %m -> Rep1 (URec Int) p Source #
Generic1 (URec Word :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Word) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Word) p %m -> URec Word p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Word p %m -> Rep1 (URec Word) p Source #
(forall (a :: k). Generic (f a), CheckValid f) => Generic1 (GHCGenerically1 f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Unsafe.ViaGHCGenerics Associated Types type Rep1 (GHCGenerically1 f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (GHCGenerically1 f) p %m -> GHCGenerically1 f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). GHCGenerically1 f p %m -> Rep1 (GHCGenerically1 f) p Source #
Generic1 ((,,,) a b c :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,) a b c) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,) a b c) p %m -> (a, b, c, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, p) %m -> Rep1 ((,,,) a b c) p Source #
Generic1 (Product f g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Product f g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Product f g) p %m -> Product f g p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Product f g p %m -> Rep1 (Product f g) p Source #
Generic1 (Sum f g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Sum f g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (Sum f g) p %m -> Sum f g p Source # from1 :: forall (p :: k0) (m :: Multiplicity). Sum f g p %m -> Rep1 (Sum f g) p Source #
Generic1 (f :*: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (f :: g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (f :: g) p %m -> (f :: g) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). (f :: g) p %m -> Rep1 (f :*: g) p Source #
Generic1 (f :+: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (f :+: g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (f :+: g) p %m -> (f :+: g) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). (f :+: g) p %m -> Rep1 (f :+: g) p Source #
Generic1 (K1 i c :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (K1 i c) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (K1 i c) p %m -> K1 i c p Source # from1 :: forall (p :: k0) (m :: Multiplicity). K1 i c p %m -> Rep1 (K1 i c) p Source #
Generic1 (MP1 m f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep1 (MP1 m f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m0 :: Multiplicity). Rep1 (MP1 m f) p %m0 -> MP1 m f p Source # from1 :: forall (p :: k0) (m0 :: Multiplicity). MP1 m f p %m0 -> Rep1 (MP1 m f) p Source #
Generic1 ((,,,,) a b c d :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,) a b c d) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,) a b c d) p %m -> (a, b, c, d, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, p) %m -> Rep1 ((,,,,) a b c d) p Source #
Generic1 (M1 i c f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (M1 i c f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (M1 i c f) p %m -> M1 i c f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). M1 i c f p %m -> Rep1 (M1 i c f) p Source #
Generic1 (Compose f g :: k1 -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (Compose f g) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (Compose f g) p %m -> Compose f g p Source # from1 :: forall (p :: k) (m :: Multiplicity). Compose f g p %m -> Rep1 (Compose f g) p Source #
Generic1 (f :.: g :: k1 -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (f :.: g) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (f :.: g) p %m -> (f :.: g) p Source # from1 :: forall (p :: k) (m :: Multiplicity). (f :.: g) p %m -> Rep1 (f :.: g) p Source #
Generic1 (f :.: g :: k1 -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics Associated Types type Rep1 (f :.: g) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (f :.: g) p %m -> (f :.: g) p Source # from1 :: forall (p :: k) (m :: Multiplicity). (f :.: g) p %m -> Rep1 (f :.: g) p Source #
Generic1 ((,,,,,) a b c d e :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,) a b c d e) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,) a b c d e) p %m -> (a, b, c, d, e, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, p) %m -> Rep1 ((,,,,,) a b c d e) p Source #
Generic1 ((,,,,,,) a b c d e f :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,) a b c d e f) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,,) a b c d e f) p %m -> (a, b, c, d, e, f, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, f, p) %m -> Rep1 ((,,,,,,) a b c d e f) p Source #
Generic1 ((,,,,,,,) a b c d e f g :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,) a b c d e f g) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,,,) a b c d e f g) p %m -> (a, b, c, d, e, f, g, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, f, g, p) %m -> Rep1 ((,,,,,,,) a b c d e f g) p Source #
Generic1 ((,,,,,,,,) a b c d e f g h :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,) a b c d e f g h) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,,,,) a b c d e f g h) p %m -> (a, b, c, d, e, f, g, h, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, f, g, h, p) %m -> Rep1 ((,,,,,,,,) a b c d e f g h) p Source #
Generic1 ((,,,,,,,,,) a b c d e f g h i :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,) a b c d e f g h i) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,,,,,) a b c d e f g h i) p %m -> (a, b, c, d, e, f, g, h, i, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, p) %m -> Rep1 ((,,,,,,,,,) a b c d e f g h i) p Source #
Generic1 ((,,,,,,,,,,) a b c d e f g h i j :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,,) a b c d e f g h i j) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 ((,,,,,,,,,,) a b c d e f g h i j) p %m -> (a, b, c, d, e, f, g, h, i, j, p) Source # from1 :: forall (p :: k) (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, p) %m -> Rep1 ((,,,,,,,,,,) a b c d e f g h i j) p Source #
Generic1 ((,,,,,,,,,,,) a b c d e f g h i j k :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) p %m -> (a, b, c, d, e, f, g, h, i, j, k, p) Source # from1 :: forall (p :: k0) (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, p) %m -> Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) p Source #
Generic1 ((,,,,,,,,,,,,) a b c d e f g h i j k l :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) p %m -> (a, b, c, d, e, f, g, h, i, j, k, l, p) Source # from1 :: forall (p :: k0) (m :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, p) %m -> Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) p Source #
Generic1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m0 :: Multiplicity). Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) p %m0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, p) Source # from1 :: forall (p :: k0) (m0 :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, m, p) %m0 -> Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) p Source #
Generic1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Type -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m0 :: Multiplicity). Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) p %m0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, p) Source # from1 :: forall (p :: k0) (m0 :: Multiplicity). (a, b, c, d, e, f, g, h, i, j, k, l, m, n, p) %m0 -> Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) p Source #
Generic1 (Code m :: TYPE r -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Template_haskell Associated Types type Rep1 (Code m) :: k -> Type Source # Methods to1 :: forall (p :: k) (m0 :: Multiplicity). Rep1 (Code m) p %m0 -> Code m p Source # from1 :: forall (p :: k) (m0 :: Multiplicity). Code m p %m0 -> Rep1 (Code m) p Source #

newtype (f :.: g) x infixl 7 Source #

The composition operator for types. We use our own here because for many classes, it's possible to share generic deriving classes between GHC.Generics and Generics.Linear by just instantiating them for both composition operators (and MP1).

Constructors

Comp1
Fields unComp1 :: f (g x)

Instances

Instances details

Functor f => Generic1 (f :.: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep1 (f :.: g) :: k -> Type # Methods from1 :: forall (a :: k0). (f :.: g) a -> Rep1 (f :.: g) a # to1 :: forall (a :: k0). Rep1 (f :.: g) a -> (f :.: g) a #
Generic1 (f :.: g :: k1 -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics Associated Types type Rep1 (f :.: g) :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 (f :.: g) p %m -> (f :.: g) p Source # from1 :: forall (p :: k) (m :: Multiplicity). (f :.: g) p %m -> Rep1 (f :.: g) p Source #
(Foldable f, Foldable g) => Foldable (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods fold :: Monoid m => (f :.: g) m -> m # foldMap :: Monoid m => (a -> m) -> (f :.: g) a -> m # foldMap' :: Monoid m => (a -> m) -> (f :.: g) a -> m # foldr :: (a -> b -> b) -> b -> (f :.: g) a -> b # foldr' :: (a -> b -> b) -> b -> (f :.: g) a -> b # foldl :: (b -> a -> b) -> b -> (f :.: g) a -> b # foldl' :: (b -> a -> b) -> b -> (f :.: g) a -> b # foldr1 :: (a -> a -> a) -> (f :.: g) a -> a # foldl1 :: (a -> a -> a) -> (f :.: g) a -> a # toList :: (f :.: g) a -> [a] # null :: (f :.: g) a -> Bool # length :: (f :.: g) a -> Int # elem :: Eq a => a -> (f :.: g) a -> Bool # maximum :: Ord a => (f :.: g) a -> a # minimum :: Ord a => (f :.: g) a -> a # sum :: Num a => (f :.: g) a -> a # product :: Num a => (f :.: g) a -> a #
(Eq1 f, Eq1 g) => Eq1 (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool #
(Ord1 f, Ord1 g) => Ord1 (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering #
(Read1 f, Read1 g) => Read1 (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :.: g) a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :.: g) a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :.: g) a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :.: g) a] #
(Show1 f, Show1 g) => Show1 (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :.: g) a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :.: g) a] -> ShowS #
(Functor f, Contravariant g) => Contravariant (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods contramap :: (a' -> a) -> (f :.: g) a -> (f :.: g) a' # (>$) :: b -> (f :.: g) b -> (f :.: g) a #
(Traversable f, Traversable g) => Traversable (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods traverse :: Applicative f0 => (a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b) # sequenceA :: Applicative f0 => (f :.: g) (f0 a) -> f0 ((f :.: g) a) # mapM :: Monad m => (a -> m b) -> (f :.: g) a -> m ((f :.: g) b) # sequence :: Monad m => (f :.: g) (m a) -> m ((f :.: g) a) #
(Alternative f, Applicative g) => Alternative (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods empty :: (f :.: g) a # (<\|>) :: (f :.: g) a -> (f :.: g) a -> (f :.: g) a # some :: (f :.: g) a -> (f :.: g) [a] # many :: (f :.: g) a -> (f :.: g) [a] #
(Applicative f, Applicative g) => Applicative (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods pure :: a -> (f :.: g) a # (<>) :: (f :.: g) (a -> b) -> (f :.: g) a -> (f :.: g) b # liftA2 :: (a -> b -> c) -> (f :.: g) a -> (f :.: g) b -> (f :.: g) c # (>) :: (f :.: g) a -> (f :.: g) b -> (f :.: g) b # (<*) :: (f :.: g) a -> (f :.: g) b -> (f :.: g) a #
(Functor f, Functor g) => Functor (f :.: g) Source #
Instance details Defined in Generics.Linear.Class Methods fmap :: (a -> b) -> (f :.: g) a -> (f :.: g) b # (<$) :: a -> (f :.: g) b -> (f :.: g) a #
(Typeable x, Typeable f, Typeable g, Typeable k2, Typeable k1, Data (f (g x))) => Data ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :.: g) x -> c ((f :.: g) x) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :.: g) x) # toConstr :: (f :.: g) x -> Constr # dataTypeOf :: (f :.: g) x -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :.: g) x)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :.: g) x)) # gmapT :: (forall b. Data b => b -> b) -> (f :.: g) x -> (f :.: g) x # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) x -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) x -> r # gmapQ :: (forall d. Data d => d -> u) -> (f :.: g) x -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :.: g) x -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :.: g) x -> m ((f :.: g) x) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) x -> m ((f :.: g) x) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) x -> m ((f :.: g) x) #
Monoid (f (g x)) => Monoid ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods mempty :: (f :.: g) x # mappend :: (f :.: g) x -> (f :.: g) x -> (f :.: g) x # mconcat :: [(f :.: g) x] -> (f :.: g) x #
Semigroup (f (g x)) => Semigroup ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods (<>) :: (f :.: g) x -> (f :.: g) x -> (f :.: g) x # sconcat :: NonEmpty ((f :.: g) x) -> (f :.: g) x # stimes :: Integral b => b -> (f :.: g) x -> (f :.: g) x #
Generic ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep ((f :.: g) x) :: Type -> Type # Methods from :: (f :.: g) x -> Rep ((f :.: g) x) x0 # to :: Rep ((f :.: g) x) x0 -> (f :.: g) x #
Read (f (g x)) => Read ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods readsPrec :: Int -> ReadS ((f :.: g) x) # readList :: ReadS [(f :.: g) x] # readPrec :: ReadPrec ((f :.: g) x) # readListPrec :: ReadPrec [(f :.: g) x] #
Show (f (g x)) => Show ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods showsPrec :: Int -> (f :.: g) x -> ShowS # show :: (f :.: g) x -> String # showList :: [(f :.: g) x] -> ShowS #
Eq (f (g x)) => Eq ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods (==) :: (f :.: g) x -> (f :.: g) x -> Bool # (/=) :: (f :.: g) x -> (f :.: g) x -> Bool #
Ord (f (g x)) => Ord ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class Methods compare :: (f :.: g) x -> (f :.: g) x -> Ordering # (<) :: (f :.: g) x -> (f :.: g) x -> Bool # (<=) :: (f :.: g) x -> (f :.: g) x -> Bool # (>) :: (f :.: g) x -> (f :.: g) x -> Bool # (>=) :: (f :.: g) x -> (f :.: g) x -> Bool # max :: (f :.: g) x -> (f :.: g) x -> (f :.: g) x # min :: (f :.: g) x -> (f :.: g) x -> (f :.: g) x #
Generic ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics Associated Types type Rep ((f :.: g) x) :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep ((f :.: g) x) p %m -> (f :.: g) x Source # from :: forall p (m :: Multiplicity). (f :.: g) x %m -> Rep ((f :.: g) x) p Source #
type Rep1 (f :.: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class type Rep1 (f :.: g :: k -> Type) = D1 ('MetaData ":.:" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 g)))
type Rep1 (f :.: g :: k1 -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics type Rep1 (f :.: g :: k1 -> Type) = D1 ('MetaData ":.:" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ((Par1 :.: f) :.: g)))
type Rep ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Class type Rep ((f :.: g) x) = D1 ('MetaData ":.:" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g x)))))
type Rep ((f :.: g) x) Source #
Instance details Defined in Generics.Linear.Instances.Linear_generics type Rep ((f :.: g) x) = D1 ('MetaData ":.:" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g x)))))

data MP1 :: forall k. Multiplicity -> (k -> Type) -> k -> Type where Source #

Types with nonlinear or multiplicity-polymorphic fields should use MP1 under S1. Unfortunately, Template Haskell (and GHC Generics) currently lack any support for such types, so their instances must currently be written entirely manually. We may add some functions to ease the pain at some point.

Generic-deriving classes that do not involve linear types should treat MP1 m much as they treat M1: dig through it to get to the meat. Unfortunately, some futzing about may be necessary to convince the type checker that multiplicities work out.

Generic-deriving classes that use linear types may have to treat MP1 m specially. In particular, they may need to constrain m to be 'One or 'Many, or to match some other type variable.

Constructors

MP1 :: f a -> MP1 m f a

Instances

Instances details

Generic1 (MP1 m f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep1 (MP1 m f) :: k -> Type # Methods from1 :: forall (a :: k0). MP1 m f a -> Rep1 (MP1 m f) a # to1 :: forall (a :: k0). Rep1 (MP1 m f) a -> MP1 m f a #
Generic1 (MP1 m f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep1 (MP1 m f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m0 :: Multiplicity). Rep1 (MP1 m f) p %m0 -> MP1 m f p Source # from1 :: forall (p :: k0) (m0 :: Multiplicity). MP1 m f p %m0 -> Rep1 (MP1 m f) p Source #
Foldable f => Foldable (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods fold :: Monoid m0 => MP1 m f m0 -> m0 # foldMap :: Monoid m0 => (a -> m0) -> MP1 m f a -> m0 # foldMap' :: Monoid m0 => (a -> m0) -> MP1 m f a -> m0 # foldr :: (a -> b -> b) -> b -> MP1 m f a -> b # foldr' :: (a -> b -> b) -> b -> MP1 m f a -> b # foldl :: (b -> a -> b) -> b -> MP1 m f a -> b # foldl' :: (b -> a -> b) -> b -> MP1 m f a -> b # foldr1 :: (a -> a -> a) -> MP1 m f a -> a # foldl1 :: (a -> a -> a) -> MP1 m f a -> a # toList :: MP1 m f a -> [a] # null :: MP1 m f a -> Bool # length :: MP1 m f a -> Int # elem :: Eq a => a -> MP1 m f a -> Bool # maximum :: Ord a => MP1 m f a -> a # minimum :: Ord a => MP1 m f a -> a # sum :: Num a => MP1 m f a -> a # product :: Num a => MP1 m f a -> a #
Eq1 f => Eq1 (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods liftEq :: (a -> b -> Bool) -> MP1 m f a -> MP1 m f b -> Bool #
Ord1 f => Ord1 (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods liftCompare :: (a -> b -> Ordering) -> MP1 m f a -> MP1 m f b -> Ordering #
Read1 f => Read1 (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (MP1 m f a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [MP1 m f a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (MP1 m f a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [MP1 m f a] #
Show1 f => Show1 (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> MP1 m f a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [MP1 m f a] -> ShowS #
Contravariant f => Contravariant (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods contramap :: (a' -> a) -> MP1 m f a -> MP1 m f a' # (>$) :: b -> MP1 m f b -> MP1 m f a #
Traversable f => Traversable (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods traverse :: Applicative f0 => (a -> f0 b) -> MP1 m f a -> f0 (MP1 m f b) # sequenceA :: Applicative f0 => MP1 m f (f0 a) -> f0 (MP1 m f a) # mapM :: Monad m0 => (a -> m0 b) -> MP1 m f a -> m0 (MP1 m f b) # sequence :: Monad m0 => MP1 m f (m0 a) -> m0 (MP1 m f a) #
Alternative f => Alternative (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods empty :: MP1 m f a # (<\|>) :: MP1 m f a -> MP1 m f a -> MP1 m f a # some :: MP1 m f a -> MP1 m f [a] # many :: MP1 m f a -> MP1 m f [a] #
Applicative f => Applicative (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods pure :: a -> MP1 m f a # (<>) :: MP1 m f (a -> b) -> MP1 m f a -> MP1 m f b # liftA2 :: (a -> b -> c) -> MP1 m f a -> MP1 m f b -> MP1 m f c # (>) :: MP1 m f a -> MP1 m f b -> MP1 m f b # (<*) :: MP1 m f a -> MP1 m f b -> MP1 m f a #
Functor f => Functor (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods fmap :: (a -> b) -> MP1 m f a -> MP1 m f b # (<$) :: a -> MP1 m f b -> MP1 m f a #
Monad f => Monad (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods (>>=) :: MP1 m f a -> (a -> MP1 m f b) -> MP1 m f b # (>>) :: MP1 m f a -> MP1 m f b -> MP1 m f b # return :: a -> MP1 m f a #
MonadPlus f => MonadPlus (MP1 m f) Source #
Instance details Defined in Generics.Linear.Class Methods mzero :: MP1 m f a # mplus :: MP1 m f a -> MP1 m f a -> MP1 m f a #
(Typeable m, Typeable f, Data a, Data (f a)) => Data (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MP1 m f a -> c (MP1 m f a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MP1 m f a) # toConstr :: MP1 m f a -> Constr # dataTypeOf :: MP1 m f a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MP1 m f a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MP1 m f a)) # gmapT :: (forall b. Data b => b -> b) -> MP1 m f a -> MP1 m f a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MP1 m f a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MP1 m f a -> r # gmapQ :: (forall d. Data d => d -> u) -> MP1 m f a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MP1 m f a -> u # gmapM :: Monad m0 => (forall d. Data d => d -> m0 d) -> MP1 m f a -> m0 (MP1 m f a) # gmapMp :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> MP1 m f a -> m0 (MP1 m f a) # gmapMo :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> MP1 m f a -> m0 (MP1 m f a) #
Monoid (f a) => Monoid (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods mempty :: MP1 m f a # mappend :: MP1 m f a -> MP1 m f a -> MP1 m f a # mconcat :: [MP1 m f a] -> MP1 m f a #
Semigroup (f a) => Semigroup (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods (<>) :: MP1 m f a -> MP1 m f a -> MP1 m f a # sconcat :: NonEmpty (MP1 m f a) -> MP1 m f a # stimes :: Integral b => b -> MP1 m f a -> MP1 m f a #
Generic (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep (MP1 m f a) :: Type -> Type # Methods from :: MP1 m f a -> Rep (MP1 m f a) x # to :: Rep (MP1 m f a) x -> MP1 m f a #
Read (f a) => Read (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods readsPrec :: Int -> ReadS (MP1 m f a) # readList :: ReadS [MP1 m f a] # readPrec :: ReadPrec (MP1 m f a) # readListPrec :: ReadPrec [MP1 m f a] #
Show (f a) => Show (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods showsPrec :: Int -> MP1 m f a -> ShowS # show :: MP1 m f a -> String # showList :: [MP1 m f a] -> ShowS #
Eq (f a) => Eq (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods (==) :: MP1 m f a -> MP1 m f a -> Bool # (/=) :: MP1 m f a -> MP1 m f a -> Bool #
Ord (f a) => Ord (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Methods compare :: MP1 m f a -> MP1 m f a -> Ordering # (<) :: MP1 m f a -> MP1 m f a -> Bool # (<=) :: MP1 m f a -> MP1 m f a -> Bool # (>) :: MP1 m f a -> MP1 m f a -> Bool # (>=) :: MP1 m f a -> MP1 m f a -> Bool # max :: MP1 m f a -> MP1 m f a -> MP1 m f a # min :: MP1 m f a -> MP1 m f a -> MP1 m f a #
Generic (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class Associated Types type Rep (MP1 m f a) :: Type -> Type Source # Methods to :: forall p (m0 :: Multiplicity). Rep (MP1 m f a) p %m0 -> MP1 m f a Source # from :: forall p (m0 :: Multiplicity). MP1 m f a %m0 -> Rep (MP1 m f a) p Source #
type Rep1 (MP1 m f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class type Rep1 (MP1 m f :: k -> Type) = D1 ('MetaData "MP1" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'False) (C1 ('MetaCons "MP1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep1 (MP1 m f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Class type Rep1 (MP1 m f :: k -> Type)
type Rep (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class type Rep (MP1 m f a) = D1 ('MetaData "MP1" "Generics.Linear.Class" "linear-generics-0.2.2-7cAUO5HMNtK8HF9YGoKHKU" 'False) (C1 ('MetaCons "MP1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))
type Rep (MP1 m f a) Source #
Instance details Defined in Generics.Linear.Class type Rep (MP1 m f a)

unMP1 :: MP1 m f a %n -> f a Source #

Extract the value from an MP1.

class Datatype (d :: k) where #

Class for datatypes that represent datatypes

Minimal complete definition

datatypeName, moduleName, packageName

Methods

datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] #

The name of the datatype (unqualified)

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] #

The fully-qualified name of the module where the type is declared

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] #

The package name of the module where the type is declared

Since: base-4.9.0.0

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> Bool #

Marks if the datatype is actually a newtype

Since: base-4.7.0.0

Instances

Instances details

(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Datatype ('MetaData n m p nt :: Meta)

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] #

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] #

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] #

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> Bool #

class Constructor (c :: k) where #

Class for datatypes that represent data constructors

Minimal complete definition

conName

Methods

conName :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> [Char] #

The name of the constructor

conFixity :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> Fixity #

The fixity of the constructor

conIsRecord :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> Bool #

Marks if this constructor is a record

Instances

Instances details

(KnownSymbol n, SingI f, SingI r) => Constructor ('MetaCons n f r :: Meta)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods conName :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> [Char] # conFixity :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Fixity # conIsRecord :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Bool #

class Selector (s :: k) where #

Class for datatypes that represent records

Methods

selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> [Char] #

The name of the selector

selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> SourceUnpackedness #

The selector's unpackedness annotation (if any)

Since: base-4.9.0.0

selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> SourceStrictness #

The selector's strictness annotation (if any)

Since: base-4.9.0.0

selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t s f a -> DecidedStrictness #

The strictness that the compiler inferred for the selector

Since: base-4.9.0.0

Instances

Instances details

(SingI mn, SingI su, SingI ss, SingI ds) => Selector ('MetaSel mn su ss ds :: Meta)

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Char] #

selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness #

selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness #

selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> DecidedStrictness #

data V1 (p :: k) #

Void: used for datatypes without constructors

Instances

Instances details

Generic1 (V1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 V1 :: k -> Type # Methods from1 :: forall (a :: k0). V1 a -> Rep1 V1 a # to1 :: forall (a :: k0). Rep1 V1 a -> V1 a #
Generic1 (V1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 V1 :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 V1 p %m -> V1 p Source # from1 :: forall (p :: k0) (m :: Multiplicity). V1 p %m -> Rep1 V1 p Source #
Foldable (V1 :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => V1 m -> m # foldMap :: Monoid m => (a -> m) -> V1 a -> m # foldMap' :: Monoid m => (a -> m) -> V1 a -> m # foldr :: (a -> b -> b) -> b -> V1 a -> b # foldr' :: (a -> b -> b) -> b -> V1 a -> b # foldl :: (b -> a -> b) -> b -> V1 a -> b # foldl' :: (b -> a -> b) -> b -> V1 a -> b # foldr1 :: (a -> a -> a) -> V1 a -> a # foldl1 :: (a -> a -> a) -> V1 a -> a # toList :: V1 a -> [a] # null :: V1 a -> Bool # length :: V1 a -> Int # elem :: Eq a => a -> V1 a -> Bool # maximum :: Ord a => V1 a -> a # minimum :: Ord a => V1 a -> a # sum :: Num a => V1 a -> a # product :: Num a => V1 a -> a #
Contravariant (V1 :: Type -> Type)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> V1 a -> V1 a' # (>$) :: b -> V1 b -> V1 a #
Traversable (V1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> V1 a -> f (V1 b) # sequenceA :: Applicative f => V1 (f a) -> f (V1 a) # mapM :: Monad m => (a -> m b) -> V1 a -> m (V1 b) # sequence :: Monad m => V1 (m a) -> m (V1 a) #
Functor (V1 :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> V1 a -> V1 b # (<$) :: a -> V1 b -> V1 a #
Data p => Data (V1 p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V1 p -> c (V1 p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V1 p) # toConstr :: V1 p -> Constr # dataTypeOf :: V1 p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V1 p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V1 p)) # gmapT :: (forall b. Data b => b -> b) -> V1 p -> V1 p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V1 p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V1 p -> r # gmapQ :: (forall d. Data d => d -> u) -> V1 p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> V1 p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) #
Semigroup (V1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: V1 p -> V1 p -> V1 p # sconcat :: NonEmpty (V1 p) -> V1 p # stimes :: Integral b => b -> V1 p -> V1 p #
Generic (V1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (V1 p) :: Type -> Type # Methods from :: V1 p -> Rep (V1 p) x # to :: Rep (V1 p) x -> V1 p #
Read (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (V1 p) # readList :: ReadS [V1 p] # readPrec :: ReadPrec (V1 p) # readListPrec :: ReadPrec [V1 p] #
Show (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> V1 p -> ShowS # show :: V1 p -> String # showList :: [V1 p] -> ShowS #
Eq (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: V1 p -> V1 p -> Bool # (/=) :: V1 p -> V1 p -> Bool #
Ord (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: V1 p -> V1 p -> Ordering # (<) :: V1 p -> V1 p -> Bool # (<=) :: V1 p -> V1 p -> Bool # (>) :: V1 p -> V1 p -> Bool # (>=) :: V1 p -> V1 p -> Bool # max :: V1 p -> V1 p -> V1 p # min :: V1 p -> V1 p -> V1 p #
Generic (V1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (V1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (V1 p) p0 %m -> V1 p Source # from :: forall p0 (m :: Multiplicity). V1 p %m -> Rep (V1 p) p0 Source #
type Rep1 (V1 :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (V1 :: k -> Type) = D1 ('MetaData "V1" "GHC.Generics" "base" 'False) (V1 :: k -> Type)
type Rep1 (V1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (V1 :: k -> Type) = D1 ('MetaData "V1" "GHC.Generics" "base" 'False) (V1 :: k -> Type)
type Rep (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (V1 p) = D1 ('MetaData "V1" "GHC.Generics" "base" 'False) (V1 :: Type -> Type)
type Rep (V1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (V1 p) = D1 ('MetaData "V1" "GHC.Generics" "base" 'False) (V1 :: Type -> Type)

data U1 (p :: k) #

Unit: used for constructors without arguments

Constructors

U1

Instances

Instances details

Generic1 (U1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 U1 :: k -> Type # Methods from1 :: forall (a :: k0). U1 a -> Rep1 U1 a # to1 :: forall (a :: k0). Rep1 U1 a -> U1 a #
Generic1 (U1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 U1 :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 U1 p %m -> U1 p Source # from1 :: forall (p :: k0) (m :: Multiplicity). U1 p %m -> Rep1 U1 p Source #
Foldable (U1 :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => U1 m -> m # foldMap :: Monoid m => (a -> m) -> U1 a -> m # foldMap' :: Monoid m => (a -> m) -> U1 a -> m # foldr :: (a -> b -> b) -> b -> U1 a -> b # foldr' :: (a -> b -> b) -> b -> U1 a -> b # foldl :: (b -> a -> b) -> b -> U1 a -> b # foldl' :: (b -> a -> b) -> b -> U1 a -> b # foldr1 :: (a -> a -> a) -> U1 a -> a # foldl1 :: (a -> a -> a) -> U1 a -> a # toList :: U1 a -> [a] # null :: U1 a -> Bool # length :: U1 a -> Int # elem :: Eq a => a -> U1 a -> Bool # maximum :: Ord a => U1 a -> a # minimum :: Ord a => U1 a -> a # sum :: Num a => U1 a -> a # product :: Num a => U1 a -> a #
Contravariant (U1 :: Type -> Type)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> U1 a -> U1 a' # (>$) :: b -> U1 b -> U1 a #
Traversable (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> U1 a -> f (U1 b) # sequenceA :: Applicative f => U1 (f a) -> f (U1 a) # mapM :: Monad m => (a -> m b) -> U1 a -> m (U1 b) # sequence :: Monad m => U1 (m a) -> m (U1 a) #
Alternative (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: U1 a # (<\|>) :: U1 a -> U1 a -> U1 a # some :: U1 a -> U1 [a] # many :: U1 a -> U1 [a] #
Applicative (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods pure :: a -> U1 a # (<>) :: U1 (a -> b) -> U1 a -> U1 b # liftA2 :: (a -> b -> c) -> U1 a -> U1 b -> U1 c # (>) :: U1 a -> U1 b -> U1 b # (<*) :: U1 a -> U1 b -> U1 a #
Functor (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> U1 a -> U1 b # (<$) :: a -> U1 b -> U1 a #
Monad (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (>>=) :: U1 a -> (a -> U1 b) -> U1 b # (>>) :: U1 a -> U1 b -> U1 b # return :: a -> U1 a #
MonadPlus (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods mzero :: U1 a # mplus :: U1 a -> U1 a -> U1 a #
Data p => Data (U1 p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> U1 p -> c (U1 p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (U1 p) # toConstr :: U1 p -> Constr # dataTypeOf :: U1 p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (U1 p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (U1 p)) # gmapT :: (forall b. Data b => b -> b) -> U1 p -> U1 p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> U1 p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> U1 p -> r # gmapQ :: (forall d. Data d => d -> u) -> U1 p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> U1 p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) #
Monoid (U1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: U1 p # mappend :: U1 p -> U1 p -> U1 p # mconcat :: [U1 p] -> U1 p #
Semigroup (U1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: U1 p -> U1 p -> U1 p # sconcat :: NonEmpty (U1 p) -> U1 p # stimes :: Integral b => b -> U1 p -> U1 p #
Generic (U1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (U1 p) :: Type -> Type # Methods from :: U1 p -> Rep (U1 p) x # to :: Rep (U1 p) x -> U1 p #
Read (U1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (U1 p) # readList :: ReadS [U1 p] # readPrec :: ReadPrec (U1 p) # readListPrec :: ReadPrec [U1 p] #
Show (U1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> U1 p -> ShowS # show :: U1 p -> String # showList :: [U1 p] -> ShowS #
Eq (U1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: U1 p -> U1 p -> Bool # (/=) :: U1 p -> U1 p -> Bool #
Ord (U1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: U1 p -> U1 p -> Ordering # (<) :: U1 p -> U1 p -> Bool # (<=) :: U1 p -> U1 p -> Bool # (>) :: U1 p -> U1 p -> Bool # (>=) :: U1 p -> U1 p -> Bool # max :: U1 p -> U1 p -> U1 p # min :: U1 p -> U1 p -> U1 p #
Generic (U1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (U1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (U1 p) p0 %m -> U1 p Source # from :: forall p0 (m :: Multiplicity). U1 p %m -> Rep (U1 p) p0 Source #
type Rep1 (U1 :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (U1 :: k -> Type) = D1 ('MetaData "U1" "GHC.Generics" "base" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: k -> Type))
type Rep1 (U1 :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (U1 :: k -> Type) = D1 ('MetaData "U1" "GHC.Generics" "base" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: k -> Type))
type Rep (U1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep (U1 p) = D1 ('MetaData "U1" "GHC.Generics" "base" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (U1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (U1 p) = D1 ('MetaData "U1" "GHC.Generics" "base" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Par1 p #

Used for marking occurrences of the parameter

Constructors

Par1
Fields unPar1 :: p

Instances

Instances details

Foldable Par1	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => Par1 m -> m # foldMap :: Monoid m => (a -> m) -> Par1 a -> m # foldMap' :: Monoid m => (a -> m) -> Par1 a -> m # foldr :: (a -> b -> b) -> b -> Par1 a -> b # foldr' :: (a -> b -> b) -> b -> Par1 a -> b # foldl :: (b -> a -> b) -> b -> Par1 a -> b # foldl' :: (b -> a -> b) -> b -> Par1 a -> b # foldr1 :: (a -> a -> a) -> Par1 a -> a # foldl1 :: (a -> a -> a) -> Par1 a -> a # toList :: Par1 a -> [a] # null :: Par1 a -> Bool # length :: Par1 a -> Int # elem :: Eq a => a -> Par1 a -> Bool # maximum :: Ord a => Par1 a -> a # minimum :: Ord a => Par1 a -> a # sum :: Num a => Par1 a -> a # product :: Num a => Par1 a -> a #
Traversable Par1	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> Par1 a -> f (Par1 b) # sequenceA :: Applicative f => Par1 (f a) -> f (Par1 a) # mapM :: Monad m => (a -> m b) -> Par1 a -> m (Par1 b) # sequence :: Monad m => Par1 (m a) -> m (Par1 a) #
Applicative Par1	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods pure :: a -> Par1 a # (<>) :: Par1 (a -> b) -> Par1 a -> Par1 b # liftA2 :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c # (>) :: Par1 a -> Par1 b -> Par1 b # (<*) :: Par1 a -> Par1 b -> Par1 a #
Functor Par1	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> Par1 a -> Par1 b # (<$) :: a -> Par1 b -> Par1 a #
Monad Par1	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (>>=) :: Par1 a -> (a -> Par1 b) -> Par1 b # (>>) :: Par1 a -> Par1 b -> Par1 b # return :: a -> Par1 a #
Generic1 Par1 Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 Par1 :: k -> Type Source # Methods to1 :: forall (p :: k) (m :: Multiplicity). Rep1 Par1 p %m -> Par1 p Source # from1 :: forall (p :: k) (m :: Multiplicity). Par1 p %m -> Rep1 Par1 p Source #
Data p => Data (Par1 p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Par1 p -> c (Par1 p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Par1 p) # toConstr :: Par1 p -> Constr # dataTypeOf :: Par1 p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Par1 p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Par1 p)) # gmapT :: (forall b. Data b => b -> b) -> Par1 p -> Par1 p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Par1 p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Par1 p -> r # gmapQ :: (forall d. Data d => d -> u) -> Par1 p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Par1 p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) #
Monoid p => Monoid (Par1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: Par1 p # mappend :: Par1 p -> Par1 p -> Par1 p # mconcat :: [Par1 p] -> Par1 p #
Semigroup p => Semigroup (Par1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: Par1 p -> Par1 p -> Par1 p # sconcat :: NonEmpty (Par1 p) -> Par1 p # stimes :: Integral b => b -> Par1 p -> Par1 p #
Generic (Par1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (Par1 p) :: Type -> Type # Methods from :: Par1 p -> Rep (Par1 p) x # to :: Rep (Par1 p) x -> Par1 p #
Read p => Read (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (Par1 p) # readList :: ReadS [Par1 p] # readPrec :: ReadPrec (Par1 p) # readListPrec :: ReadPrec [Par1 p] #
Show p => Show (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> Par1 p -> ShowS # show :: Par1 p -> String # showList :: [Par1 p] -> ShowS #
Eq p => Eq (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods (==) :: Par1 p -> Par1 p -> Bool # (/=) :: Par1 p -> Par1 p -> Bool #
Ord p => Ord (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: Par1 p -> Par1 p -> Ordering # (<) :: Par1 p -> Par1 p -> Bool # (<=) :: Par1 p -> Par1 p -> Bool # (>) :: Par1 p -> Par1 p -> Bool # (>=) :: Par1 p -> Par1 p -> Bool # max :: Par1 p -> Par1 p -> Par1 p # min :: Par1 p -> Par1 p -> Par1 p #
Generic (Par1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (Par1 p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (Par1 p) p0 %m -> Par1 p Source # from :: forall p0 (m :: Multiplicity). Par1 p %m -> Rep (Par1 p) p0 Source #
Generic1 Par1
Instance details Defined in GHC.Generics Associated Types type Rep1 Par1 :: k -> Type # Methods from1 :: forall (a :: k). Par1 a -> Rep1 Par1 a # to1 :: forall (a :: k). Rep1 Par1 a -> Par1 a #
type Rep1 Par1 Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 Par1 = D1 ('MetaData "Par1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep (Par1 p) = D1 ('MetaData "Par1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))
type Rep (Par1 p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (Par1 p) = D1 ('MetaData "Par1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))
type Rep1 Par1	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 Par1 = D1 ('MetaData "Par1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

newtype K1 i c (p :: k) #

Constants, additional parameters and recursion of kind *

Constructors

K1
Fields unK1 :: c

Instances

Instances details

Generic1 (K1 i c :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (K1 i c) :: k -> Type # Methods from1 :: forall (a :: k0). K1 i c a -> Rep1 (K1 i c) a # to1 :: forall (a :: k0). Rep1 (K1 i c) a -> K1 i c a #
Generic1 (K1 i c :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (K1 i c) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (K1 i c) p %m -> K1 i c p Source # from1 :: forall (p :: k0) (m :: Multiplicity). K1 i c p %m -> Rep1 (K1 i c) p Source #
Foldable (K1 i c :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => K1 i c m -> m # foldMap :: Monoid m => (a -> m) -> K1 i c a -> m # foldMap' :: Monoid m => (a -> m) -> K1 i c a -> m # foldr :: (a -> b -> b) -> b -> K1 i c a -> b # foldr' :: (a -> b -> b) -> b -> K1 i c a -> b # foldl :: (b -> a -> b) -> b -> K1 i c a -> b # foldl' :: (b -> a -> b) -> b -> K1 i c a -> b # foldr1 :: (a -> a -> a) -> K1 i c a -> a # foldl1 :: (a -> a -> a) -> K1 i c a -> a # toList :: K1 i c a -> [a] # null :: K1 i c a -> Bool # length :: K1 i c a -> Int # elem :: Eq a => a -> K1 i c a -> Bool # maximum :: Ord a => K1 i c a -> a # minimum :: Ord a => K1 i c a -> a # sum :: Num a => K1 i c a -> a # product :: Num a => K1 i c a -> a #
Contravariant (K1 i c :: Type -> Type)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> K1 i c a -> K1 i c a' # (>$) :: b -> K1 i c b -> K1 i c a #
Traversable (K1 i c :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> K1 i c a -> f (K1 i c b) # sequenceA :: Applicative f => K1 i c (f a) -> f (K1 i c a) # mapM :: Monad m => (a -> m b) -> K1 i c a -> m (K1 i c b) # sequence :: Monad m => K1 i c (m a) -> m (K1 i c a) #
Monoid c => Applicative (K1 i c :: Type -> Type)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods pure :: a -> K1 i c a # (<>) :: K1 i c (a -> b) -> K1 i c a -> K1 i c b # liftA2 :: (a -> b -> c0) -> K1 i c a -> K1 i c b -> K1 i c c0 # (>) :: K1 i c a -> K1 i c b -> K1 i c b # (<*) :: K1 i c a -> K1 i c b -> K1 i c a #
Functor (K1 i c :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> K1 i c a -> K1 i c b # (<$) :: a -> K1 i c b -> K1 i c a #
(Typeable i, Data p, Data c) => Data (K1 i c p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> K1 i c p -> c0 (K1 i c p) # gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (K1 i c p) # toConstr :: K1 i c p -> Constr # dataTypeOf :: K1 i c p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (K1 i c p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (K1 i c p)) # gmapT :: (forall b. Data b => b -> b) -> K1 i c p -> K1 i c p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> K1 i c p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> K1 i c p -> r # gmapQ :: (forall d. Data d => d -> u) -> K1 i c p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> K1 i c p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) #
Monoid c => Monoid (K1 i c p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: K1 i c p # mappend :: K1 i c p -> K1 i c p -> K1 i c p # mconcat :: [K1 i c p] -> K1 i c p #
Semigroup c => Semigroup (K1 i c p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: K1 i c p -> K1 i c p -> K1 i c p # sconcat :: NonEmpty (K1 i c p) -> K1 i c p # stimes :: Integral b => b -> K1 i c p -> K1 i c p #
Generic (K1 i c p)
Instance details Defined in GHC.Generics Associated Types type Rep (K1 i c p) :: Type -> Type # Methods from :: K1 i c p -> Rep (K1 i c p) x # to :: Rep (K1 i c p) x -> K1 i c p #
Read c => Read (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (K1 i c p) # readList :: ReadS [K1 i c p] # readPrec :: ReadPrec (K1 i c p) # readListPrec :: ReadPrec [K1 i c p] #
Show c => Show (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> K1 i c p -> ShowS # show :: K1 i c p -> String # showList :: [K1 i c p] -> ShowS #
Eq c => Eq (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods (==) :: K1 i c p -> K1 i c p -> Bool # (/=) :: K1 i c p -> K1 i c p -> Bool #
Ord c => Ord (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: K1 i c p -> K1 i c p -> Ordering # (<) :: K1 i c p -> K1 i c p -> Bool # (<=) :: K1 i c p -> K1 i c p -> Bool # (>) :: K1 i c p -> K1 i c p -> Bool # (>=) :: K1 i c p -> K1 i c p -> Bool # max :: K1 i c p -> K1 i c p -> K1 i c p # min :: K1 i c p -> K1 i c p -> K1 i c p #
Generic (K1 i c p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (K1 i c p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (K1 i c p) p0 %m -> K1 i c p Source # from :: forall p0 (m :: Multiplicity). K1 i c p %m -> Rep (K1 i c p) p0 Source #
type Rep1 (K1 i c :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (K1 i c :: k -> Type) = D1 ('MetaData "K1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))
type Rep1 (K1 i c :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (K1 i c :: k -> Type) = D1 ('MetaData "K1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))
type Rep (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep (K1 i c p) = D1 ('MetaData "K1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))
type Rep (K1 i c p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (K1 i c p) = D1 ('MetaData "K1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

newtype M1 i (c :: Meta) (f :: k -> Type) (p :: k) #

Meta-information (constructor names, etc.)

Constructors

M1
Fields unM1 :: f p

Instances

Instances details

Generic1 (M1 i c f :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (M1 i c f) :: k -> Type # Methods from1 :: forall (a :: k0). M1 i c f a -> Rep1 (M1 i c f) a # to1 :: forall (a :: k0). Rep1 (M1 i c f) a -> M1 i c f a #
Generic1 (M1 i c f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (M1 i c f) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (M1 i c f) p %m -> M1 i c f p Source # from1 :: forall (p :: k0) (m :: Multiplicity). M1 i c f p %m -> Rep1 (M1 i c f) p Source #
Foldable f => Foldable (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => M1 i c f m -> m # foldMap :: Monoid m => (a -> m) -> M1 i c f a -> m # foldMap' :: Monoid m => (a -> m) -> M1 i c f a -> m # foldr :: (a -> b -> b) -> b -> M1 i c f a -> b # foldr' :: (a -> b -> b) -> b -> M1 i c f a -> b # foldl :: (b -> a -> b) -> b -> M1 i c f a -> b # foldl' :: (b -> a -> b) -> b -> M1 i c f a -> b # foldr1 :: (a -> a -> a) -> M1 i c f a -> a # foldl1 :: (a -> a -> a) -> M1 i c f a -> a # toList :: M1 i c f a -> [a] # null :: M1 i c f a -> Bool # length :: M1 i c f a -> Int # elem :: Eq a => a -> M1 i c f a -> Bool # maximum :: Ord a => M1 i c f a -> a # minimum :: Ord a => M1 i c f a -> a # sum :: Num a => M1 i c f a -> a # product :: Num a => M1 i c f a -> a #
Contravariant f => Contravariant (M1 i c f)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> M1 i c f a -> M1 i c f a' # (>$) :: b -> M1 i c f b -> M1 i c f a #
Traversable f => Traversable (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f0 => (a -> f0 b) -> M1 i c f a -> f0 (M1 i c f b) # sequenceA :: Applicative f0 => M1 i c f (f0 a) -> f0 (M1 i c f a) # mapM :: Monad m => (a -> m b) -> M1 i c f a -> m (M1 i c f b) # sequence :: Monad m => M1 i c f (m a) -> m (M1 i c f a) #
Alternative f => Alternative (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: M1 i c f a # (<\|>) :: M1 i c f a -> M1 i c f a -> M1 i c f a # some :: M1 i c f a -> M1 i c f [a] # many :: M1 i c f a -> M1 i c f [a] #
Applicative f => Applicative (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods pure :: a -> M1 i c f a # (<>) :: M1 i c f (a -> b) -> M1 i c f a -> M1 i c f b # liftA2 :: (a -> b -> c0) -> M1 i c f a -> M1 i c f b -> M1 i c f c0 # (>) :: M1 i c f a -> M1 i c f b -> M1 i c f b # (<*) :: M1 i c f a -> M1 i c f b -> M1 i c f a #
Functor f => Functor (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> M1 i c f a -> M1 i c f b # (<$) :: a -> M1 i c f b -> M1 i c f a #
Monad f => Monad (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (>>=) :: M1 i c f a -> (a -> M1 i c f b) -> M1 i c f b # (>>) :: M1 i c f a -> M1 i c f b -> M1 i c f b # return :: a -> M1 i c f a #
MonadPlus f => MonadPlus (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods mzero :: M1 i c f a # mplus :: M1 i c f a -> M1 i c f a -> M1 i c f a #
(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> M1 i c f p -> c0 (M1 i c f p) # gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (M1 i c f p) # toConstr :: M1 i c f p -> Constr # dataTypeOf :: M1 i c f p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (M1 i c f p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (M1 i c f p)) # gmapT :: (forall b. Data b => b -> b) -> M1 i c f p -> M1 i c f p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r # gmapQ :: (forall d. Data d => d -> u) -> M1 i c f p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> M1 i c f p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) #
Monoid (f p) => Monoid (M1 i c f p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: M1 i c f p # mappend :: M1 i c f p -> M1 i c f p -> M1 i c f p # mconcat :: [M1 i c f p] -> M1 i c f p #
Semigroup (f p) => Semigroup (M1 i c f p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: M1 i c f p -> M1 i c f p -> M1 i c f p # sconcat :: NonEmpty (M1 i c f p) -> M1 i c f p # stimes :: Integral b => b -> M1 i c f p -> M1 i c f p #
Generic (M1 i c f p)
Instance details Defined in GHC.Generics Associated Types type Rep (M1 i c f p) :: Type -> Type # Methods from :: M1 i c f p -> Rep (M1 i c f p) x # to :: Rep (M1 i c f p) x -> M1 i c f p #
Read (f p) => Read (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS (M1 i c f p) # readList :: ReadS [M1 i c f p] # readPrec :: ReadPrec (M1 i c f p) # readListPrec :: ReadPrec [M1 i c f p] #
Show (f p) => Show (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> M1 i c f p -> ShowS # show :: M1 i c f p -> String # showList :: [M1 i c f p] -> ShowS #
Eq (f p) => Eq (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods (==) :: M1 i c f p -> M1 i c f p -> Bool # (/=) :: M1 i c f p -> M1 i c f p -> Bool #
Ord (f p) => Ord (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: M1 i c f p -> M1 i c f p -> Ordering # (<) :: M1 i c f p -> M1 i c f p -> Bool # (<=) :: M1 i c f p -> M1 i c f p -> Bool # (>) :: M1 i c f p -> M1 i c f p -> Bool # (>=) :: M1 i c f p -> M1 i c f p -> Bool # max :: M1 i c f p -> M1 i c f p -> M1 i c f p # min :: M1 i c f p -> M1 i c f p -> M1 i c f p #
Generic (M1 i c f p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (M1 i c f p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (M1 i c f p) p0 %m -> M1 i c f p Source # from :: forall p0 (m :: Multiplicity). M1 i c f p %m -> Rep (M1 i c f p) p0 Source #
type Rep1 (M1 i c f :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (M1 i c f :: k -> Type) = D1 ('MetaData "M1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep1 (M1 i c f :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (M1 i c f :: k -> Type) = D1 ('MetaData "M1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Par1 :.: f)))
type Rep (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep (M1 i c f p) = D1 ('MetaData "M1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))
type Rep (M1 i c f p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (M1 i c f p) = D1 ('MetaData "M1" "GHC.Generics" "base" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))

data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k) infixr 5 #

Sums: encode choice between constructors

Constructors

L1 (f p)
R1 (g p)

Instances

Instances details

Generic1 (f :+: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :+: g) :: k -> Type # Methods from1 :: forall (a :: k0). (f :+: g) a -> Rep1 (f :+: g) a # to1 :: forall (a :: k0). Rep1 (f :+: g) a -> (f :+: g) a #
Generic1 (f :+: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (f :+: g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (f :+: g) p %m -> (f :+: g) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). (f :+: g) p %m -> Rep1 (f :+: g) p Source #
(Foldable f, Foldable g) => Foldable (f :+: g)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => (f :+: g) m -> m # foldMap :: Monoid m => (a -> m) -> (f :+: g) a -> m # foldMap' :: Monoid m => (a -> m) -> (f :+: g) a -> m # foldr :: (a -> b -> b) -> b -> (f :+: g) a -> b # foldr' :: (a -> b -> b) -> b -> (f :+: g) a -> b # foldl :: (b -> a -> b) -> b -> (f :+: g) a -> b # foldl' :: (b -> a -> b) -> b -> (f :+: g) a -> b # foldr1 :: (a -> a -> a) -> (f :+: g) a -> a # foldl1 :: (a -> a -> a) -> (f :+: g) a -> a # toList :: (f :+: g) a -> [a] # null :: (f :+: g) a -> Bool # length :: (f :+: g) a -> Int # elem :: Eq a => a -> (f :+: g) a -> Bool # maximum :: Ord a => (f :+: g) a -> a # minimum :: Ord a => (f :+: g) a -> a # sum :: Num a => (f :+: g) a -> a # product :: Num a => (f :+: g) a -> a #
(Contravariant f, Contravariant g) => Contravariant (f :+: g)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> (f :+: g) a -> (f :+: g) a' # (>$) :: b -> (f :+: g) b -> (f :+: g) a #
(Traversable f, Traversable g) => Traversable (f :+: g)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f0 => (a -> f0 b) -> (f :+: g) a -> f0 ((f :+: g) b) # sequenceA :: Applicative f0 => (f :+: g) (f0 a) -> f0 ((f :+: g) a) # mapM :: Monad m => (a -> m b) -> (f :+: g) a -> m ((f :+: g) b) # sequence :: Monad m => (f :+: g) (m a) -> m ((f :+: g) a) #
(Functor f, Functor g) => Functor (f :+: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> (f :+: g) a -> (f :+: g) b # (<$) :: a -> (f :+: g) b -> (f :+: g) a #
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :+: g) p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :+: g) p -> c ((f :+: g) p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :+: g) p) # toConstr :: (f :+: g) p -> Constr # dataTypeOf :: (f :+: g) p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :+: g) p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :+: g) p)) # gmapT :: (forall b. Data b => b -> b) -> (f :+: g) p -> (f :+: g) p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :+: g) p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :+: g) p -> r # gmapQ :: (forall d. Data d => d -> u) -> (f :+: g) p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :+: g) p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) #
Generic ((f :+: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x # to :: Rep ((f :+: g) p) x -> (f :+: g) p #
(Read (f p), Read (g p)) => Read ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS ((f :+: g) p) # readList :: ReadS [(f :+: g) p] # readPrec :: ReadPrec ((f :+: g) p) # readListPrec :: ReadPrec [(f :+: g) p] #
(Show (f p), Show (g p)) => Show ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> (f :+: g) p -> ShowS # show :: (f :+: g) p -> String # showList :: [(f :+: g) p] -> ShowS #
(Eq (f p), Eq (g p)) => Eq ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods (==) :: (f :+: g) p -> (f :+: g) p -> Bool # (/=) :: (f :+: g) p -> (f :+: g) p -> Bool #
(Ord (f p), Ord (g p)) => Ord ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: (f :+: g) p -> (f :+: g) p -> Ordering # (<) :: (f :+: g) p -> (f :+: g) p -> Bool # (<=) :: (f :+: g) p -> (f :+: g) p -> Bool # (>) :: (f :+: g) p -> (f :+: g) p -> Bool # (>=) :: (f :+: g) p -> (f :+: g) p -> Bool # max :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p # min :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p #
Generic ((f :+: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ((f :+: g) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep ((f :+: g) p) p0 %m -> (f :+: g) p Source # from :: forall p0 (m :: Multiplicity). (f :+: g) p %m -> Rep ((f :+: g) p) p0 Source #
type Rep1 (f :+: g :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (f :+: g :: k -> Type) = D1 ('MetaData ":+:" "GHC.Generics" "base" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))
type Rep1 (f :+: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (f :+: g :: k -> Type) = D1 ('MetaData ":+:" "GHC.Generics" "base" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Par1 :.: f)) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Par1 :.: g)))
type Rep ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep ((f :+: g) p) = D1 ('MetaData ":+:" "GHC.Generics" "base" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))
type Rep ((f :+: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep ((f :+: g) p) = D1 ('MetaData ":+:" "GHC.Generics" "base" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k) infixr 6 #

Products: encode multiple arguments to constructors

Constructors

(f p) :*: (g p) infixr 6

Instances

Instances details

Generic1 (f :*: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :: g) :: k -> Type # Methods from1 :: forall (a :: k0). (f :: g) a -> Rep1 (f :: g) a # to1 :: forall (a :: k0). Rep1 (f :: g) a -> (f :*: g) a #
Generic1 (f :*: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (f :: g) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (f :: g) p %m -> (f :: g) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). (f :: g) p %m -> Rep1 (f :*: g) p Source #
(Foldable f, Foldable g) => Foldable (f :*: g)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => (f :: g) m -> m # foldMap :: Monoid m => (a -> m) -> (f :: g) a -> m # foldMap' :: Monoid m => (a -> m) -> (f :: g) a -> m # foldr :: (a -> b -> b) -> b -> (f :: g) a -> b # foldr' :: (a -> b -> b) -> b -> (f :: g) a -> b # foldl :: (b -> a -> b) -> b -> (f :: g) a -> b # foldl' :: (b -> a -> b) -> b -> (f :: g) a -> b # foldr1 :: (a -> a -> a) -> (f :: g) a -> a # foldl1 :: (a -> a -> a) -> (f :: g) a -> a # toList :: (f :: g) a -> [a] # null :: (f :: g) a -> Bool # length :: (f :: g) a -> Int # elem :: Eq a => a -> (f :: g) a -> Bool # maximum :: Ord a => (f :: g) a -> a # minimum :: Ord a => (f :: g) a -> a # sum :: Num a => (f :: g) a -> a # product :: Num a => (f :*: g) a -> a #
(Contravariant f, Contravariant g) => Contravariant (f :*: g)
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> (f :: g) a -> (f :: g) a' # (>$) :: b -> (f :: g) b -> (f :: g) a #
(Traversable f, Traversable g) => Traversable (f :*: g)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f0 => (a -> f0 b) -> (f :: g) a -> f0 ((f :: g) b) # sequenceA :: Applicative f0 => (f :: g) (f0 a) -> f0 ((f :: g) a) # mapM :: Monad m => (a -> m b) -> (f :: g) a -> m ((f :: g) b) # sequence :: Monad m => (f :: g) (m a) -> m ((f :: g) a) #
(Alternative f, Alternative g) => Alternative (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: (f :: g) a # (<\|>) :: (f :: g) a -> (f :: g) a -> (f :: g) a # some :: (f :: g) a -> (f :: g) [a] # many :: (f :: g) a -> (f :: g) [a] #
(Applicative f, Applicative g) => Applicative (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods pure :: a -> (f :: g) a # (<>) :: (f :: g) (a -> b) -> (f :: g) a -> (f :: g) b # liftA2 :: (a -> b -> c) -> (f :: g) a -> (f :: g) b -> (f :: g) c # (>) :: (f :: g) a -> (f :: g) b -> (f :: g) b # (<) :: (f :: g) a -> (f :: g) b -> (f :: g) a #
(Functor f, Functor g) => Functor (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> (f :: g) a -> (f :: g) b # (<$) :: a -> (f :: g) b -> (f :: g) a #
(Monad f, Monad g) => Monad (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (>>=) :: (f :: g) a -> (a -> (f :: g) b) -> (f :: g) b # (>>) :: (f :: g) a -> (f :: g) b -> (f :: g) b # return :: a -> (f :*: g) a #
(MonadPlus f, MonadPlus g) => MonadPlus (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods mzero :: (f :: g) a # mplus :: (f :: g) a -> (f :: g) a -> (f :: g) a #
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :*: g) p)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :: g) p -> c ((f :: g) p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :: g) p) # toConstr :: (f :: g) p -> Constr # dataTypeOf :: (f :: g) p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :: g) p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :: g) p)) # gmapT :: (forall b. Data b => b -> b) -> (f :: g) p -> (f :: g) p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r # gmapQ :: (forall d. Data d => d -> u) -> (f :: g) p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :: g) p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :*: g) p) #
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: (f :: g) p # mappend :: (f :: g) p -> (f :: g) p -> (f :: g) p # mconcat :: [(f :: g) p] -> (f :: g) p #
(Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods (<>) :: (f :: g) p -> (f :: g) p -> (f :: g) p # sconcat :: NonEmpty ((f :: g) p) -> (f :: g) p # stimes :: Integral b => b -> (f :: g) p -> (f :*: g) p #
Generic ((f :*: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type # Methods from :: (f :: g) p -> Rep ((f :: g) p) x # to :: Rep ((f :: g) p) x -> (f :*: g) p #
(Read (f p), Read (g p)) => Read ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS ((f :: g) p) # readList :: ReadS [(f :: g) p] # readPrec :: ReadPrec ((f :: g) p) # readListPrec :: ReadPrec [(f :: g) p] #
(Show (f p), Show (g p)) => Show ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> (f :: g) p -> ShowS # show :: (f :: g) p -> String # showList :: [(f :*: g) p] -> ShowS #
(Eq (f p), Eq (g p)) => Eq ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods (==) :: (f :: g) p -> (f :: g) p -> Bool # (/=) :: (f :: g) p -> (f :: g) p -> Bool #
(Ord (f p), Ord (g p)) => Ord ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Methods compare :: (f :: g) p -> (f :: g) p -> Ordering # (<) :: (f :: g) p -> (f :: g) p -> Bool # (<=) :: (f :: g) p -> (f :: g) p -> Bool # (>) :: (f :: g) p -> (f :: g) p -> Bool # (>=) :: (f :: g) p -> (f :: g) p -> Bool # max :: (f :: g) p -> (f :: g) p -> (f :: g) p # min :: (f :: g) p -> (f :: g) p -> (f :: g) p #
Generic ((f :*: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep ((f :: g) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep ((f :: g) p) p0 %m -> (f :: g) p Source # from :: forall p0 (m :: Multiplicity). (f :: g) p %m -> Rep ((f :*: g) p) p0 Source #
type Rep1 (f :*: g :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (f :: g :: k -> Type) = D1 ('MetaData "::" "GHC.Generics" "base" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))
type Rep1 (f :*: g :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (f :: g :: k -> Type) = D1 ('MetaData "::" "GHC.Generics" "base" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Par1 :.: f) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Par1 :.: g)))
type Rep ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep ((f :: g) p) = D1 ('MetaData "::" "GHC.Generics" "base" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))
type Rep ((f :*: g) p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep ((f :: g) p) = D1 ('MetaData "::" "GHC.Generics" "base" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

data R #

Tag for K1: recursion (of kind Type)

data D #

Tag for M1: datatype

data C #

Tag for M1: constructor

data S #

Tag for M1: record selector

type Rec0 = K1 R :: Type -> k -> Type #

Type synonym for encoding recursion (of kind Type)

type D1 = M1 D :: Meta -> (k -> Type) -> k -> Type #

Type synonym for encoding meta-information for datatypes

type C1 = M1 C :: Meta -> (k -> Type) -> k -> Type #

Type synonym for encoding meta-information for constructors

type S1 = M1 S :: Meta -> (k -> Type) -> k -> Type #

Type synonym for encoding meta-information for record selectors

data family URec a (p :: k) #

Constants of unlifted kinds

Since: base-4.9.0.0

Instances

Instances details

Generic1 (URec (Ptr ()) :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec (Ptr ())) :: k -> Type # Methods from1 :: forall (a :: k0). URec (Ptr ()) a -> Rep1 (URec (Ptr ())) a # to1 :: forall (a :: k0). Rep1 (URec (Ptr ())) a -> URec (Ptr ()) a #
Generic1 (URec Char :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Char) :: k -> Type # Methods from1 :: forall (a :: k0). URec Char a -> Rep1 (URec Char) a # to1 :: forall (a :: k0). Rep1 (URec Char) a -> URec Char a #
Generic1 (URec Double :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Double) :: k -> Type # Methods from1 :: forall (a :: k0). URec Double a -> Rep1 (URec Double) a # to1 :: forall (a :: k0). Rep1 (URec Double) a -> URec Double a #
Generic1 (URec Float :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Float) :: k -> Type # Methods from1 :: forall (a :: k0). URec Float a -> Rep1 (URec Float) a # to1 :: forall (a :: k0). Rep1 (URec Float) a -> URec Float a #
Generic1 (URec Int :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Int) :: k -> Type # Methods from1 :: forall (a :: k0). URec Int a -> Rep1 (URec Int) a # to1 :: forall (a :: k0). Rep1 (URec Int) a -> URec Int a #
Generic1 (URec Word :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Word) :: k -> Type # Methods from1 :: forall (a :: k0). URec Word a -> Rep1 (URec Word) a # to1 :: forall (a :: k0). Rep1 (URec Word) a -> URec Word a #
Generic1 (URec (Ptr ()) :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec (Ptr ())) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec (Ptr ())) p %m -> URec (Ptr ()) p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec (Ptr ()) p %m -> Rep1 (URec (Ptr ())) p Source #
Generic1 (URec Char :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Char) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Char) p %m -> URec Char p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Char p %m -> Rep1 (URec Char) p Source #
Generic1 (URec Double :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Double) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Double) p %m -> URec Double p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Double p %m -> Rep1 (URec Double) p Source #
Generic1 (URec Float :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Float) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Float) p %m -> URec Float p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Float p %m -> Rep1 (URec Float) p Source #
Generic1 (URec Int :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Int) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Int) p %m -> URec Int p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Int p %m -> Rep1 (URec Int) p Source #
Generic1 (URec Word :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep1 (URec Word) :: k -> Type Source # Methods to1 :: forall (p :: k0) (m :: Multiplicity). Rep1 (URec Word) p %m -> URec Word p Source # from1 :: forall (p :: k0) (m :: Multiplicity). URec Word p %m -> Rep1 (URec Word) p Source #
Foldable (UAddr :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UAddr m -> m # foldMap :: Monoid m => (a -> m) -> UAddr a -> m # foldMap' :: Monoid m => (a -> m) -> UAddr a -> m # foldr :: (a -> b -> b) -> b -> UAddr a -> b # foldr' :: (a -> b -> b) -> b -> UAddr a -> b # foldl :: (b -> a -> b) -> b -> UAddr a -> b # foldl' :: (b -> a -> b) -> b -> UAddr a -> b # foldr1 :: (a -> a -> a) -> UAddr a -> a # foldl1 :: (a -> a -> a) -> UAddr a -> a # toList :: UAddr a -> [a] # null :: UAddr a -> Bool # length :: UAddr a -> Int # elem :: Eq a => a -> UAddr a -> Bool # maximum :: Ord a => UAddr a -> a # minimum :: Ord a => UAddr a -> a # sum :: Num a => UAddr a -> a # product :: Num a => UAddr a -> a #
Foldable (UChar :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UChar m -> m # foldMap :: Monoid m => (a -> m) -> UChar a -> m # foldMap' :: Monoid m => (a -> m) -> UChar a -> m # foldr :: (a -> b -> b) -> b -> UChar a -> b # foldr' :: (a -> b -> b) -> b -> UChar a -> b # foldl :: (b -> a -> b) -> b -> UChar a -> b # foldl' :: (b -> a -> b) -> b -> UChar a -> b # foldr1 :: (a -> a -> a) -> UChar a -> a # foldl1 :: (a -> a -> a) -> UChar a -> a # toList :: UChar a -> [a] # null :: UChar a -> Bool # length :: UChar a -> Int # elem :: Eq a => a -> UChar a -> Bool # maximum :: Ord a => UChar a -> a # minimum :: Ord a => UChar a -> a # sum :: Num a => UChar a -> a # product :: Num a => UChar a -> a #
Foldable (UDouble :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UDouble m -> m # foldMap :: Monoid m => (a -> m) -> UDouble a -> m # foldMap' :: Monoid m => (a -> m) -> UDouble a -> m # foldr :: (a -> b -> b) -> b -> UDouble a -> b # foldr' :: (a -> b -> b) -> b -> UDouble a -> b # foldl :: (b -> a -> b) -> b -> UDouble a -> b # foldl' :: (b -> a -> b) -> b -> UDouble a -> b # foldr1 :: (a -> a -> a) -> UDouble a -> a # foldl1 :: (a -> a -> a) -> UDouble a -> a # toList :: UDouble a -> [a] # null :: UDouble a -> Bool # length :: UDouble a -> Int # elem :: Eq a => a -> UDouble a -> Bool # maximum :: Ord a => UDouble a -> a # minimum :: Ord a => UDouble a -> a # sum :: Num a => UDouble a -> a # product :: Num a => UDouble a -> a #
Foldable (UFloat :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UFloat m -> m # foldMap :: Monoid m => (a -> m) -> UFloat a -> m # foldMap' :: Monoid m => (a -> m) -> UFloat a -> m # foldr :: (a -> b -> b) -> b -> UFloat a -> b # foldr' :: (a -> b -> b) -> b -> UFloat a -> b # foldl :: (b -> a -> b) -> b -> UFloat a -> b # foldl' :: (b -> a -> b) -> b -> UFloat a -> b # foldr1 :: (a -> a -> a) -> UFloat a -> a # foldl1 :: (a -> a -> a) -> UFloat a -> a # toList :: UFloat a -> [a] # null :: UFloat a -> Bool # length :: UFloat a -> Int # elem :: Eq a => a -> UFloat a -> Bool # maximum :: Ord a => UFloat a -> a # minimum :: Ord a => UFloat a -> a # sum :: Num a => UFloat a -> a # product :: Num a => UFloat a -> a #
Foldable (UInt :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UInt m -> m # foldMap :: Monoid m => (a -> m) -> UInt a -> m # foldMap' :: Monoid m => (a -> m) -> UInt a -> m # foldr :: (a -> b -> b) -> b -> UInt a -> b # foldr' :: (a -> b -> b) -> b -> UInt a -> b # foldl :: (b -> a -> b) -> b -> UInt a -> b # foldl' :: (b -> a -> b) -> b -> UInt a -> b # foldr1 :: (a -> a -> a) -> UInt a -> a # foldl1 :: (a -> a -> a) -> UInt a -> a # toList :: UInt a -> [a] # null :: UInt a -> Bool # length :: UInt a -> Int # elem :: Eq a => a -> UInt a -> Bool # maximum :: Ord a => UInt a -> a # minimum :: Ord a => UInt a -> a # sum :: Num a => UInt a -> a # product :: Num a => UInt a -> a #
Foldable (UWord :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => UWord m -> m # foldMap :: Monoid m => (a -> m) -> UWord a -> m # foldMap' :: Monoid m => (a -> m) -> UWord a -> m # foldr :: (a -> b -> b) -> b -> UWord a -> b # foldr' :: (a -> b -> b) -> b -> UWord a -> b # foldl :: (b -> a -> b) -> b -> UWord a -> b # foldl' :: (b -> a -> b) -> b -> UWord a -> b # foldr1 :: (a -> a -> a) -> UWord a -> a # foldl1 :: (a -> a -> a) -> UWord a -> a # toList :: UWord a -> [a] # null :: UWord a -> Bool # length :: UWord a -> Int # elem :: Eq a => a -> UWord a -> Bool # maximum :: Ord a => UWord a -> a # minimum :: Ord a => UWord a -> a # sum :: Num a => UWord a -> a # product :: Num a => UWord a -> a #
Traversable (UAddr :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UAddr a -> f (UAddr b) # sequenceA :: Applicative f => UAddr (f a) -> f (UAddr a) # mapM :: Monad m => (a -> m b) -> UAddr a -> m (UAddr b) # sequence :: Monad m => UAddr (m a) -> m (UAddr a) #
Traversable (UChar :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UChar a -> f (UChar b) # sequenceA :: Applicative f => UChar (f a) -> f (UChar a) # mapM :: Monad m => (a -> m b) -> UChar a -> m (UChar b) # sequence :: Monad m => UChar (m a) -> m (UChar a) #
Traversable (UDouble :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UDouble a -> f (UDouble b) # sequenceA :: Applicative f => UDouble (f a) -> f (UDouble a) # mapM :: Monad m => (a -> m b) -> UDouble a -> m (UDouble b) # sequence :: Monad m => UDouble (m a) -> m (UDouble a) #
Traversable (UFloat :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UFloat a -> f (UFloat b) # sequenceA :: Applicative f => UFloat (f a) -> f (UFloat a) # mapM :: Monad m => (a -> m b) -> UFloat a -> m (UFloat b) # sequence :: Monad m => UFloat (m a) -> m (UFloat a) #
Traversable (UInt :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UInt a -> f (UInt b) # sequenceA :: Applicative f => UInt (f a) -> f (UInt a) # mapM :: Monad m => (a -> m b) -> UInt a -> m (UInt b) # sequence :: Monad m => UInt (m a) -> m (UInt a) #
Traversable (UWord :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) # sequenceA :: Applicative f => UWord (f a) -> f (UWord a) # mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) # sequence :: Monad m => UWord (m a) -> m (UWord a) #
Functor (URec (Ptr ()) :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b # (<$) :: a -> URec (Ptr ()) b -> URec (Ptr ()) a #
Functor (URec Char :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec Char a -> URec Char b # (<$) :: a -> URec Char b -> URec Char a #
Functor (URec Double :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec Double a -> URec Double b # (<$) :: a -> URec Double b -> URec Double a #
Functor (URec Float :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec Float a -> URec Float b # (<$) :: a -> URec Float b -> URec Float a #
Functor (URec Int :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec Int a -> URec Int b # (<$) :: a -> URec Int b -> URec Int a #
Functor (URec Word :: TYPE LiftedRep -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods fmap :: (a -> b) -> URec Word a -> URec Word b # (<$) :: a -> URec Word b -> URec Word a #
Generic (URec (Ptr ()) p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type # Methods from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x # to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p #
Generic (URec Char p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Char p) :: Type -> Type # Methods from :: URec Char p -> Rep (URec Char p) x # to :: Rep (URec Char p) x -> URec Char p #
Generic (URec Double p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Double p) :: Type -> Type # Methods from :: URec Double p -> Rep (URec Double p) x # to :: Rep (URec Double p) x -> URec Double p #
Generic (URec Float p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Float p) :: Type -> Type # Methods from :: URec Float p -> Rep (URec Float p) x # to :: Rep (URec Float p) x -> URec Float p #
Generic (URec Int p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Int p) :: Type -> Type # Methods from :: URec Int p -> Rep (URec Int p) x # to :: Rep (URec Int p) x -> URec Int p #
Generic (URec Word p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Word p) :: Type -> Type # Methods from :: URec Word p -> Rep (URec Word p) x # to :: Rep (URec Word p) x -> URec Word p #
Show (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> URec Char p -> ShowS # show :: URec Char p -> String # showList :: [URec Char p] -> ShowS #
Show (URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> URec Double p -> ShowS # show :: URec Double p -> String # showList :: [URec Double p] -> ShowS #
Show (URec Float p)
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> URec Float p -> ShowS # show :: URec Float p -> String # showList :: [URec Float p] -> ShowS #
Show (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> URec Int p -> ShowS # show :: URec Int p -> String # showList :: [URec Int p] -> ShowS #
Show (URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> URec Word p -> ShowS # show :: URec Word p -> String # showList :: [URec Word p] -> ShowS #
Eq (URec (Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool #
Eq (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: URec Char p -> URec Char p -> Bool # (/=) :: URec Char p -> URec Char p -> Bool #
Eq (URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: URec Double p -> URec Double p -> Bool # (/=) :: URec Double p -> URec Double p -> Bool #
Eq (URec Float p)
Instance details Defined in GHC.Generics Methods (==) :: URec Float p -> URec Float p -> Bool # (/=) :: URec Float p -> URec Float p -> Bool #
Eq (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: URec Int p -> URec Int p -> Bool # (/=) :: URec Int p -> URec Int p -> Bool #
Eq (URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: URec Word p -> URec Word p -> Bool # (/=) :: URec Word p -> URec Word p -> Bool #
Ord (URec (Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering # (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p # min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p #
Ord (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: URec Char p -> URec Char p -> Ordering # (<) :: URec Char p -> URec Char p -> Bool # (<=) :: URec Char p -> URec Char p -> Bool # (>) :: URec Char p -> URec Char p -> Bool # (>=) :: URec Char p -> URec Char p -> Bool # max :: URec Char p -> URec Char p -> URec Char p # min :: URec Char p -> URec Char p -> URec Char p #
Ord (URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: URec Double p -> URec Double p -> Ordering # (<) :: URec Double p -> URec Double p -> Bool # (<=) :: URec Double p -> URec Double p -> Bool # (>) :: URec Double p -> URec Double p -> Bool # (>=) :: URec Double p -> URec Double p -> Bool # max :: URec Double p -> URec Double p -> URec Double p # min :: URec Double p -> URec Double p -> URec Double p #
Ord (URec Float p)
Instance details Defined in GHC.Generics Methods compare :: URec Float p -> URec Float p -> Ordering # (<) :: URec Float p -> URec Float p -> Bool # (<=) :: URec Float p -> URec Float p -> Bool # (>) :: URec Float p -> URec Float p -> Bool # (>=) :: URec Float p -> URec Float p -> Bool # max :: URec Float p -> URec Float p -> URec Float p # min :: URec Float p -> URec Float p -> URec Float p #
Ord (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: URec Int p -> URec Int p -> Ordering # (<) :: URec Int p -> URec Int p -> Bool # (<=) :: URec Int p -> URec Int p -> Bool # (>) :: URec Int p -> URec Int p -> Bool # (>=) :: URec Int p -> URec Int p -> Bool # max :: URec Int p -> URec Int p -> URec Int p # min :: URec Int p -> URec Int p -> URec Int p #
Ord (URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: URec Word p -> URec Word p -> Ordering # (<) :: URec Word p -> URec Word p -> Bool # (<=) :: URec Word p -> URec Word p -> Bool # (>) :: URec Word p -> URec Word p -> Bool # (>=) :: URec Word p -> URec Word p -> Bool # max :: URec Word p -> URec Word p -> URec Word p # min :: URec Word p -> URec Word p -> URec Word p #
Generic (URec (Ptr ()) p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec (Ptr ()) p) p0 %m -> URec (Ptr ()) p Source # from :: forall p0 (m :: Multiplicity). URec (Ptr ()) p %m -> Rep (URec (Ptr ()) p) p0 Source #
Generic (URec Char p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Char p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Char p) p0 %m -> URec Char p Source # from :: forall p0 (m :: Multiplicity). URec Char p %m -> Rep (URec Char p) p0 Source #
Generic (URec Double p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Double p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Double p) p0 %m -> URec Double p Source # from :: forall p0 (m :: Multiplicity). URec Double p %m -> Rep (URec Double p) p0 Source #
Generic (URec Float p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Float p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Float p) p0 %m -> URec Float p Source # from :: forall p0 (m :: Multiplicity). URec Float p %m -> Rep (URec Float p) p0 Source #
Generic (URec Int p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Int p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Int p) p0 %m -> URec Int p Source # from :: forall p0 (m :: Multiplicity). URec Int p %m -> Rep (URec Int p) p0 Source #
Generic (URec Word p) Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep (URec Word p) :: Type -> Type Source # Methods to :: forall p0 (m :: Multiplicity). Rep (URec Word p) p0 %m -> URec Word p Source # from :: forall p0 (m :: Multiplicity). URec Word p %m -> Rep (URec Word p) p0 Source #
data URec Char (p :: k)	Used for marking occurrences of `Char#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec Char (p :: k) = UChar { uChar# :: Char# }
data URec Double (p :: k)	Used for marking occurrences of `Double#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec Double (p :: k) = UDouble { uDouble# :: Double# }
data URec Float (p :: k)	Used for marking occurrences of `Float#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec Float (p :: k) = UFloat { uFloat# :: Float# }
data URec Int (p :: k)	Used for marking occurrences of `Int#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec Int (p :: k) = UInt { uInt# :: Int# }
data URec Word (p :: k)	Used for marking occurrences of `Word#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec Word (p :: k) = UWord { uWord# :: Word# }
data URec (Ptr ()) (p :: k)	Used for marking occurrences of `Addr#` Since: base-4.9.0.0
Instance details Defined in GHC.Generics data URec (Ptr ()) (p :: k) = UAddr { uAddr# :: Addr# }
type Rep1 (URec (Ptr ()) :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec (Ptr ()) :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Type)))
type Rep1 (URec Char :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Type)))
type Rep1 (URec Double :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))
type Rep1 (URec Float :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))
type Rep1 (URec Int :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))
type Rep1 (URec Word :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))
type Rep1 (URec (Ptr ()) :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec (Ptr ()) :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Type)))
type Rep1 (URec Char :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Type)))
type Rep1 (URec Double :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))
type Rep1 (URec Float :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))
type Rep1 (URec Int :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))
type Rep1 (URec Word :: k -> Type) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))
type Rep (URec (Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec (Ptr ()) p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: Type -> Type)))
type Rep (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: Type -> Type)))
type Rep (URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))
type Rep (URec Float p)
Instance details Defined in GHC.Generics type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))
type Rep (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))
type Rep (URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))
type Rep (URec (Ptr ()) p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec (Ptr ()) p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: Type -> Type)))
type Rep (URec Char p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: Type -> Type)))
type Rep (URec Double p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))
type Rep (URec Float p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))
type Rep (URec Int p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))
type Rep (URec Word p) Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

type UAddr = URec (Ptr ()) :: k -> Type #

Type synonym for URec Addr#

Since: base-4.9.0.0

type UChar = URec Char :: k -> Type #

Type synonym for URec Char#

Since: base-4.9.0.0

type UDouble = URec Double :: k -> Type #

Type synonym for URec Double#

Since: base-4.9.0.0

type UFloat = URec Float :: k -> Type #

Type synonym for URec Float#

Since: base-4.9.0.0

type UInt = URec Int :: k -> Type #

Type synonym for URec Int#

Since: base-4.9.0.0

type UWord = URec Word :: k -> Type #

Type synonym for URec Word#

Since: base-4.9.0.0

data SourceUnpackedness #

The unpackedness of a field as the user wrote it in the source code. For example, in the following data type:

data E = ExampleConstructor     Int
           {-# NOUNPACK #-} Int
           {-#   UNPACK #-} Int

The fields of ExampleConstructor have NoSourceUnpackedness, SourceNoUnpack, and SourceUnpack, respectively.

Since: base-4.9.0.0

Constructors

NoSourceUnpackedness
SourceNoUnpack
SourceUnpack

Instances

Instances details

Data SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceUnpackedness -> c SourceUnpackedness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceUnpackedness # toConstr :: SourceUnpackedness -> Constr # dataTypeOf :: SourceUnpackedness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceUnpackedness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceUnpackedness) # gmapT :: (forall b. Data b => b -> b) -> SourceUnpackedness -> SourceUnpackedness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r # gmapQ :: (forall d. Data d => d -> u) -> SourceUnpackedness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceUnpackedness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness #
Bounded SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods minBound :: SourceUnpackedness # maxBound :: SourceUnpackedness #
Enum SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods succ :: SourceUnpackedness -> SourceUnpackedness # pred :: SourceUnpackedness -> SourceUnpackedness # toEnum :: Int -> SourceUnpackedness # fromEnum :: SourceUnpackedness -> Int # enumFrom :: SourceUnpackedness -> [SourceUnpackedness] # enumFromThen :: SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] # enumFromTo :: SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] # enumFromThenTo :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] #
Generic SourceUnpackedness
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness #
SingKind SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep SourceUnpackedness Methods fromSing :: forall (a :: SourceUnpackedness). Sing a -> DemoteRep SourceUnpackedness
Ix SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods range :: (SourceUnpackedness, SourceUnpackedness) -> [SourceUnpackedness] # index :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int # unsafeIndex :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int # inRange :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Bool # rangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int # unsafeRangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int #
Read SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS SourceUnpackedness # readList :: ReadS [SourceUnpackedness] # readPrec :: ReadPrec SourceUnpackedness # readListPrec :: ReadPrec [SourceUnpackedness] #
Show SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> SourceUnpackedness -> ShowS # show :: SourceUnpackedness -> String # showList :: [SourceUnpackedness] -> ShowS #
Eq SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool #
Ord SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: SourceUnpackedness -> SourceUnpackedness -> Ordering # (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness # min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness #
Generic SourceUnpackedness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceUnpackedness p %m -> SourceUnpackedness Source # from :: forall p (m :: Multiplicity). SourceUnpackedness %m -> Rep SourceUnpackedness p Source #
SingI 'NoSourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'NoSourceUnpackedness
SingI 'SourceNoUnpack	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'SourceNoUnpack
SingI 'SourceUnpack	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'SourceUnpack
type DemoteRep SourceUnpackedness
Instance details Defined in GHC.Generics type DemoteRep SourceUnpackedness = SourceUnpackedness
type Rep SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep SourceUnpackedness = D1 ('MetaData "SourceUnpackedness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "NoSourceUnpackedness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceNoUnpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: SourceUnpackedness)
Instance details Defined in GHC.Generics data Sing (a :: SourceUnpackedness) where SNoSourceUnpackedness :: Sing 'NoSourceUnpackedness SSourceNoUnpack :: Sing 'SourceNoUnpack SSourceUnpack :: Sing 'SourceUnpack
type Rep SourceUnpackedness Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep SourceUnpackedness = D1 ('MetaData "SourceUnpackedness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "NoSourceUnpackedness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceNoUnpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))

data SourceStrictness #

The strictness of a field as the user wrote it in the source code. For example, in the following data type:

data E = ExampleConstructor Int ~Int !Int

The fields of ExampleConstructor have NoSourceStrictness, SourceLazy, and SourceStrict, respectively.

Since: base-4.9.0.0

Constructors

NoSourceStrictness
SourceLazy
SourceStrict

Instances

Instances details

Data SourceStrictness	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceStrictness -> c SourceStrictness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceStrictness # toConstr :: SourceStrictness -> Constr # dataTypeOf :: SourceStrictness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceStrictness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceStrictness) # gmapT :: (forall b. Data b => b -> b) -> SourceStrictness -> SourceStrictness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r # gmapQ :: (forall d. Data d => d -> u) -> SourceStrictness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceStrictness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness #
Bounded SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods minBound :: SourceStrictness # maxBound :: SourceStrictness #
Enum SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods succ :: SourceStrictness -> SourceStrictness # pred :: SourceStrictness -> SourceStrictness # toEnum :: Int -> SourceStrictness # fromEnum :: SourceStrictness -> Int # enumFrom :: SourceStrictness -> [SourceStrictness] # enumFromThen :: SourceStrictness -> SourceStrictness -> [SourceStrictness] # enumFromTo :: SourceStrictness -> SourceStrictness -> [SourceStrictness] # enumFromThenTo :: SourceStrictness -> SourceStrictness -> SourceStrictness -> [SourceStrictness] #
Generic SourceStrictness
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type # Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness #
SingKind SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep SourceStrictness Methods fromSing :: forall (a :: SourceStrictness). Sing a -> DemoteRep SourceStrictness
Ix SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods range :: (SourceStrictness, SourceStrictness) -> [SourceStrictness] # index :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int # unsafeIndex :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int # inRange :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Bool # rangeSize :: (SourceStrictness, SourceStrictness) -> Int # unsafeRangeSize :: (SourceStrictness, SourceStrictness) -> Int #
Read SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS SourceStrictness # readList :: ReadS [SourceStrictness] # readPrec :: ReadPrec SourceStrictness # readListPrec :: ReadPrec [SourceStrictness] #
Show SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> SourceStrictness -> ShowS # show :: SourceStrictness -> String # showList :: [SourceStrictness] -> ShowS #
Eq SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: SourceStrictness -> SourceStrictness -> Bool # (/=) :: SourceStrictness -> SourceStrictness -> Bool #
Ord SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: SourceStrictness -> SourceStrictness -> Ordering # (<) :: SourceStrictness -> SourceStrictness -> Bool # (<=) :: SourceStrictness -> SourceStrictness -> Bool # (>) :: SourceStrictness -> SourceStrictness -> Bool # (>=) :: SourceStrictness -> SourceStrictness -> Bool # max :: SourceStrictness -> SourceStrictness -> SourceStrictness # min :: SourceStrictness -> SourceStrictness -> SourceStrictness #
Generic SourceStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep SourceStrictness p %m -> SourceStrictness Source # from :: forall p (m :: Multiplicity). SourceStrictness %m -> Rep SourceStrictness p Source #
SingI 'NoSourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'NoSourceStrictness
SingI 'SourceLazy	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'SourceLazy
SingI 'SourceStrict	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'SourceStrict
type DemoteRep SourceStrictness
Instance details Defined in GHC.Generics type DemoteRep SourceStrictness = SourceStrictness
type Rep SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep SourceStrictness = D1 ('MetaData "SourceStrictness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "NoSourceStrictness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceStrict" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: SourceStrictness)
Instance details Defined in GHC.Generics data Sing (a :: SourceStrictness) where SNoSourceStrictness :: Sing 'NoSourceStrictness SSourceLazy :: Sing 'SourceLazy SSourceStrict :: Sing 'SourceStrict
type Rep SourceStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep SourceStrictness = D1 ('MetaData "SourceStrictness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "NoSourceStrictness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceStrict" 'PrefixI 'False) (U1 :: Type -> Type)))

data Meta #

Datatype to represent metadata associated with a datatype (MetaData), constructor (MetaCons), or field selector (MetaSel).

In MetaData n m p nt, n is the datatype's name, m is the module in which the datatype is defined, p is the package in which the datatype is defined, and nt is 'True if the datatype is a newtype.
In MetaCons n f s, n is the constructor's name, f is its fixity, and s is 'True if the constructor contains record selectors.
In MetaSel mn su ss ds, if the field uses record syntax, then mn is Just the record name. Otherwise, mn is Nothing. su and ss are the field's unpackedness and strictness annotations, and ds is the strictness that GHC infers for the field.

Since: base-4.9.0.0

Constructors

MetaData Symbol Symbol Symbol Bool
MetaCons Symbol FixityI Bool
MetaSel (Maybe Symbol) SourceUnpackedness SourceStrictness DecidedStrictness

Instances

Instances details

(KnownSymbol n, SingI f, SingI r) => Constructor ('MetaCons n f r :: Meta)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods conName :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> [Char] # conFixity :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Fixity # conIsRecord :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Bool #
(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Datatype ('MetaData n m p nt :: Meta)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] # moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] # packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] # isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> Bool #
(SingI mn, SingI su, SingI ss, SingI ds) => Selector ('MetaSel mn su ss ds :: Meta)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Char] # selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness # selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness # selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> DecidedStrictness #

data FixityI #

This variant of Fixity appears at the type level.

Since: base-4.9.0.0

Constructors

PrefixI
InfixI Associativity Nat

Instances

Instances details

SingKind FixityI	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep FixityI Methods fromSing :: forall (a :: FixityI). Sing a -> DemoteRep FixityI
SingI 'PrefixI	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'PrefixI
(SingI a, KnownNat n) => SingI ('InfixI a n :: FixityI)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing ('InfixI a n)
type DemoteRep FixityI
Instance details Defined in GHC.Generics type DemoteRep FixityI = Fixity
data Sing (a :: FixityI)
Instance details Defined in GHC.Generics data Sing (a :: FixityI) where SPrefix :: Sing 'PrefixI SInfix :: forall (a1 :: Associativity) (n :: Nat). Sing a1 -> Integer -> Sing ('InfixI a1 n)

data Fixity #

Datatype to represent the fixity of a constructor. An infix | declaration directly corresponds to an application of Infix.

Constructors

Prefix
Infix Associativity Int

Instances

Instances details

Data Fixity	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixity -> c Fixity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fixity # toConstr :: Fixity -> Constr # dataTypeOf :: Fixity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fixity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fixity) # gmapT :: (forall b. Data b => b -> b) -> Fixity -> Fixity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r # gmapQ :: (forall d. Data d => d -> u) -> Fixity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity #
Generic Fixity
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type # Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Read Fixity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS Fixity # readList :: ReadS [Fixity] # readPrec :: ReadPrec Fixity # readListPrec :: ReadPrec [Fixity] #
Show Fixity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> Fixity -> ShowS # show :: Fixity -> String # showList :: [Fixity] -> ShowS #
Eq Fixity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
Ord Fixity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods compare :: Fixity -> Fixity -> Ordering # (<) :: Fixity -> Fixity -> Bool # (<=) :: Fixity -> Fixity -> Bool # (>) :: Fixity -> Fixity -> Bool # (>=) :: Fixity -> Fixity -> Bool # max :: Fixity -> Fixity -> Fixity # min :: Fixity -> Fixity -> Fixity #
Generic Fixity Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Fixity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Fixity p %m -> Fixity Source # from :: forall p (m :: Multiplicity). Fixity %m -> Rep Fixity p Source #
type Rep Fixity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep Fixity = D1 ('MetaData "Fixity" "GHC.Generics" "base" 'False) (C1 ('MetaCons "Prefix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep Fixity Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep Fixity = D1 ('MetaData "Fixity" "GHC.Generics" "base" 'False) (C1 ('MetaCons "Prefix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data DecidedStrictness #

The strictness that GHC infers for a field during compilation. Whereas there are nine different combinations of SourceUnpackedness and SourceStrictness, the strictness that GHC decides will ultimately be one of lazy, strict, or unpacked. What GHC decides is affected both by what the user writes in the source code and by GHC flags. As an example, consider this data type:

data E = ExampleConstructor {-# UNPACK #-} !Int !Int Int

If compiled without optimization or other language extensions, then the fields of ExampleConstructor will have DecidedStrict, DecidedStrict, and DecidedLazy, respectively.
If compiled with -XStrictData enabled, then the fields will have DecidedStrict, DecidedStrict, and DecidedStrict, respectively.
If compiled with -O2 enabled, then the fields will have DecidedUnpack, DecidedStrict, and DecidedLazy, respectively.

Since: base-4.9.0.0

Constructors

DecidedLazy
DecidedStrict
DecidedUnpack

Instances

Instances details

Data DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecidedStrictness -> c DecidedStrictness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecidedStrictness # toConstr :: DecidedStrictness -> Constr # dataTypeOf :: DecidedStrictness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecidedStrictness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecidedStrictness) # gmapT :: (forall b. Data b => b -> b) -> DecidedStrictness -> DecidedStrictness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r # gmapQ :: (forall d. Data d => d -> u) -> DecidedStrictness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DecidedStrictness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness #
Bounded DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods minBound :: DecidedStrictness # maxBound :: DecidedStrictness #
Enum DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods succ :: DecidedStrictness -> DecidedStrictness # pred :: DecidedStrictness -> DecidedStrictness # toEnum :: Int -> DecidedStrictness # fromEnum :: DecidedStrictness -> Int # enumFrom :: DecidedStrictness -> [DecidedStrictness] # enumFromThen :: DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] # enumFromTo :: DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] # enumFromThenTo :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] #
Generic DecidedStrictness
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type # Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness #
SingKind DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep DecidedStrictness Methods fromSing :: forall (a :: DecidedStrictness). Sing a -> DemoteRep DecidedStrictness
Ix DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods range :: (DecidedStrictness, DecidedStrictness) -> [DecidedStrictness] # index :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int # unsafeIndex :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int # inRange :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Bool # rangeSize :: (DecidedStrictness, DecidedStrictness) -> Int # unsafeRangeSize :: (DecidedStrictness, DecidedStrictness) -> Int #
Read DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS DecidedStrictness # readList :: ReadS [DecidedStrictness] # readPrec :: ReadPrec DecidedStrictness # readListPrec :: ReadPrec [DecidedStrictness] #
Show DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> DecidedStrictness -> ShowS # show :: DecidedStrictness -> String # showList :: [DecidedStrictness] -> ShowS #
Eq DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool # (/=) :: DecidedStrictness -> DecidedStrictness -> Bool #
Ord DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods compare :: DecidedStrictness -> DecidedStrictness -> Ordering # (<) :: DecidedStrictness -> DecidedStrictness -> Bool # (<=) :: DecidedStrictness -> DecidedStrictness -> Bool # (>) :: DecidedStrictness -> DecidedStrictness -> Bool # (>=) :: DecidedStrictness -> DecidedStrictness -> Bool # max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness # min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness #
Generic DecidedStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep DecidedStrictness p %m -> DecidedStrictness Source # from :: forall p (m :: Multiplicity). DecidedStrictness %m -> Rep DecidedStrictness p Source #
SingI 'DecidedLazy	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'DecidedLazy
SingI 'DecidedStrict	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'DecidedStrict
SingI 'DecidedUnpack	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'DecidedUnpack
type DemoteRep DecidedStrictness
Instance details Defined in GHC.Generics type DemoteRep DecidedStrictness = DecidedStrictness
type Rep DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep DecidedStrictness = D1 ('MetaData "DecidedStrictness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "DecidedLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DecidedStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecidedUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: DecidedStrictness)
Instance details Defined in GHC.Generics data Sing (a :: DecidedStrictness) where SDecidedLazy :: Sing 'DecidedLazy SDecidedStrict :: Sing 'DecidedStrict SDecidedUnpack :: Sing 'DecidedUnpack
type Rep DecidedStrictness Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep DecidedStrictness = D1 ('MetaData "DecidedStrictness" "GHC.Generics" "base" 'False) (C1 ('MetaCons "DecidedLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DecidedStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecidedUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))

data Associativity #

Datatype to represent the associativity of a constructor

Constructors

LeftAssociative
RightAssociative
NotAssociative

Instances

Instances details

Data Associativity	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Associativity -> c Associativity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Associativity # toConstr :: Associativity -> Constr # dataTypeOf :: Associativity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Associativity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Associativity) # gmapT :: (forall b. Data b => b -> b) -> Associativity -> Associativity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Associativity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Associativity -> r # gmapQ :: (forall d. Data d => d -> u) -> Associativity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Associativity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity #
Bounded Associativity	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods minBound :: Associativity # maxBound :: Associativity #
Enum Associativity	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods succ :: Associativity -> Associativity # pred :: Associativity -> Associativity # toEnum :: Int -> Associativity # fromEnum :: Associativity -> Int # enumFrom :: Associativity -> [Associativity] # enumFromThen :: Associativity -> Associativity -> [Associativity] # enumFromTo :: Associativity -> Associativity -> [Associativity] # enumFromThenTo :: Associativity -> Associativity -> Associativity -> [Associativity] #
Generic Associativity
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type # Methods from :: Associativity -> Rep Associativity x # to :: Rep Associativity x -> Associativity #
SingKind Associativity	Since: base-4.0.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep Associativity Methods fromSing :: forall (a :: Associativity). Sing a -> DemoteRep Associativity
Ix Associativity	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods range :: (Associativity, Associativity) -> [Associativity] # index :: (Associativity, Associativity) -> Associativity -> Int # unsafeIndex :: (Associativity, Associativity) -> Associativity -> Int # inRange :: (Associativity, Associativity) -> Associativity -> Bool # rangeSize :: (Associativity, Associativity) -> Int # unsafeRangeSize :: (Associativity, Associativity) -> Int #
Read Associativity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods readsPrec :: Int -> ReadS Associativity # readList :: ReadS [Associativity] # readPrec :: ReadPrec Associativity # readListPrec :: ReadPrec [Associativity] #
Show Associativity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #
Eq Associativity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Ord Associativity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods compare :: Associativity -> Associativity -> Ordering # (<) :: Associativity -> Associativity -> Bool # (<=) :: Associativity -> Associativity -> Bool # (>) :: Associativity -> Associativity -> Bool # (>=) :: Associativity -> Associativity -> Bool # max :: Associativity -> Associativity -> Associativity # min :: Associativity -> Associativity -> Associativity #
Generic Associativity Source #
Instance details Defined in Generics.Linear.Instances.Base Associated Types type Rep Associativity :: Type -> Type Source # Methods to :: forall p (m :: Multiplicity). Rep Associativity p %m -> Associativity Source # from :: forall p (m :: Multiplicity). Associativity %m -> Rep Associativity p Source #
SingI 'LeftAssociative	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'LeftAssociative
SingI 'NotAssociative	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'NotAssociative
SingI 'RightAssociative	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing 'RightAssociative
type DemoteRep Associativity
Instance details Defined in GHC.Generics type DemoteRep Associativity = Associativity
type Rep Associativity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics type Rep Associativity = D1 ('MetaData "Associativity" "GHC.Generics" "base" 'False) (C1 ('MetaCons "LeftAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAssociative" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: Associativity)
Instance details Defined in GHC.Generics data Sing (a :: Associativity) where SLeftAssociative :: Sing 'LeftAssociative SRightAssociative :: Sing 'RightAssociative SNotAssociative :: Sing 'NotAssociative
type Rep Associativity Source #
Instance details Defined in Generics.Linear.Instances.Base type Rep Associativity = D1 ('MetaData "Associativity" "GHC.Generics" "base" 'False) (C1 ('MetaCons "LeftAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAssociative" 'PrefixI 'False) (U1 :: Type -> Type)))

prec :: Fixity -> Int #

Get the precedence of a fixity value.

Documentation

Instances

Multiplicity polymorphism

Differences in Rep1 representation

Rec1 is not used

Compositions associate in the opposite order

Difference in specificity

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Differences in `Rep1` representation

`Rec1` is not used