| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Sqel.Data.MigrationParams
Documentation
newtype MigrationDefault a Source #
Constructors
| MigrationDefault | |
Fields
| |
Instances
data MigrationRename name Source #
Constructors
| MigrationRename |
Instances
| Generic (MigrationRename name) Source # | |
Defined in Sqel.Data.MigrationParams Associated Types type Rep (MigrationRename name) :: Type -> Type # Methods from :: MigrationRename name -> Rep (MigrationRename name) x # to :: Rep (MigrationRename name) x -> MigrationRename name # | |
| Show (MigrationRename name) Source # | |
Defined in Sqel.Data.MigrationParams Methods showsPrec :: Int -> MigrationRename name -> ShowS # show :: MigrationRename name -> String # showList :: [MigrationRename name] -> ShowS # | |
| Eq (MigrationRename name) Source # | |
Defined in Sqel.Data.MigrationParams Methods (==) :: MigrationRename name -> MigrationRename name -> Bool # (/=) :: MigrationRename name -> MigrationRename name -> Bool # | |
| type Rep (MigrationRename name) Source # | |
type family MigrationRenameK (ps :: [Type]) :: Maybe Symbol where ... Source #
Equations
| MigrationRenameK '[] = 'Nothing | |
| MigrationRenameK (MigrationRename name ': _) = 'Just name | |
| MigrationRenameK (_ ': ps) = MigrationRenameK ps |
data MigrationRenameType name Source #
Constructors
| MigrationRenameType |
Instances
| Generic (MigrationRenameType name) Source # | |
Defined in Sqel.Data.MigrationParams Associated Types type Rep (MigrationRenameType name) :: Type -> Type # Methods from :: MigrationRenameType name -> Rep (MigrationRenameType name) x # to :: Rep (MigrationRenameType name) x -> MigrationRenameType name # | |
| Show (MigrationRenameType name) Source # | |
Defined in Sqel.Data.MigrationParams Methods showsPrec :: Int -> MigrationRenameType name -> ShowS # show :: MigrationRenameType name -> String # showList :: [MigrationRenameType name] -> ShowS # | |
| Eq (MigrationRenameType name) Source # | |
Defined in Sqel.Data.MigrationParams Methods (==) :: MigrationRenameType name -> MigrationRenameType name -> Bool # (/=) :: MigrationRenameType name -> MigrationRenameType name -> Bool # | |
| type Rep (MigrationRenameType name) Source # | |
type family MigrationRenameTypeK (ps :: [Type]) :: Maybe Symbol where ... Source #
Equations
| MigrationRenameTypeK '[] = 'Nothing | |
| MigrationRenameTypeK (MigrationRenameType name ': _) = 'Just name | |
| MigrationRenameTypeK (_ ': ps) = MigrationRenameTypeK ps |
data MigrationDelete Source #
Constructors
| MigrationDelete |
Instances
| Generic MigrationDelete Source # | |
Defined in Sqel.Data.MigrationParams Associated Types type Rep MigrationDelete :: Type -> Type # Methods from :: MigrationDelete -> Rep MigrationDelete x # to :: Rep MigrationDelete x -> MigrationDelete # | |
| Show MigrationDelete Source # | |
Defined in Sqel.Data.MigrationParams Methods showsPrec :: Int -> MigrationDelete -> ShowS # show :: MigrationDelete -> String # showList :: [MigrationDelete] -> ShowS # | |
| Eq MigrationDelete Source # | |
Defined in Sqel.Data.MigrationParams Methods (==) :: MigrationDelete -> MigrationDelete -> Bool # (/=) :: MigrationDelete -> MigrationDelete -> Bool # | |
| type Rep MigrationDelete Source # | |
type family MigrationDeleteK (ps :: [Type]) :: Bool where ... Source #
Equations
| MigrationDeleteK '[] = 'False | |
| MigrationDeleteK (MigrationDelete ': _) = 'True | |
| MigrationDeleteK (_ ': ps) = MigrationDeleteK ps |