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