Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data SpecRunTV1 f #
SpecRunV1 | |
|
Instances
type SpecRunV1 = SpecRunTV1 Identity #
newtype MetadataDbV1 f #
Instances
Generic (MetadataDbV1 f) # | |
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV1 f) :: Type -> Type # from :: MetadataDbV1 f -> Rep (MetadataDbV1 f) x # to :: Rep (MetadataDbV1 f) x -> MetadataDbV1 f # | |
type Rep (MetadataDbV1 f) # | |
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV1 f) = D1 ('MetaData "MetadataDbV1" "Napkin.Metadata.Migration.Types" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "MetadataDbV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "_v1_specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunTV1))))) |
data SpecRunTV2 f #
SpecRunV2 | |
|
Instances
type SpecRunV2 = SpecRunTV2 Identity #
newtype MetadataDbV2 f #
Instances
Generic (MetadataDbV2 f) # | |
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV2 f) :: Type -> Type # from :: MetadataDbV2 f -> Rep (MetadataDbV2 f) x # to :: Rep (MetadataDbV2 f) x -> MetadataDbV2 f # | |
type Rep (MetadataDbV2 f) # | |
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV2 f) = D1 ('MetaData "MetadataDbV2" "Napkin.Metadata.Migration.Types" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "MetadataDbV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "_v2_specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunTV2))))) |