polysemy-hasql-0.0.1.0: Polysemy effects for databases
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Hasql.Migration

Documentation

newtype MigrateSem r a Source #

Constructors

MigrateSem 

Fields

Instances

Instances details
HoistMigration (MigrateSem r :: Type -> TYPE LiftedRep) (MigrateSem r' :: Type -> TYPE LiftedRep) (MigrateTransform (MigrateSem r) old new) (MigrateTransform (MigrateSem r') old new) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Methods

hoistMigration :: (forall (x :: k). MigrateSem r x -> MigrateSem r' x) -> MigrateTransform (MigrateSem r) old new -> MigrateTransform (MigrateSem r') old new #

Applicative (MigrateSem r) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Methods

pure :: a -> MigrateSem r a #

(<*>) :: MigrateSem r (a -> b) -> MigrateSem r a -> MigrateSem r b #

liftA2 :: (a -> b -> c) -> MigrateSem r a -> MigrateSem r b -> MigrateSem r c #

(*>) :: MigrateSem r a -> MigrateSem r b -> MigrateSem r b #

(<*) :: MigrateSem r a -> MigrateSem r b -> MigrateSem r a #

Functor (MigrateSem r) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Methods

fmap :: (a -> b) -> MigrateSem r a -> MigrateSem r b #

(<$) :: a -> MigrateSem r b -> MigrateSem r a #

Monad (MigrateSem r) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Methods

(>>=) :: MigrateSem r a -> (a -> MigrateSem r b) -> MigrateSem r b #

(>>) :: MigrateSem r a -> MigrateSem r b -> MigrateSem r b #

return :: a -> MigrateSem r a #

Member Log r => MigrationEffect (MigrateSem r) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Methods

runMigrationStatements :: [MigrationStatement] -> MigrateSem r () #

runStatement_ :: q -> Statement q () -> MigrateSem r () #

runStatement :: q -> Statement q [a] -> MigrateSem r [a] #

log :: Text -> MigrateSem r () #

error :: Text -> MigrateSem r () #

Generic (MigrateSem r a) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

Associated Types

type Rep (MigrateSem r a) :: Type -> Type #

Methods

from :: MigrateSem r a -> Rep (MigrateSem r a) x #

to :: Rep (MigrateSem r a) x -> MigrateSem r a #

type Rep (MigrateSem r a) Source # 
Instance details

Defined in Polysemy.Hasql.Migration

type Rep (MigrateSem r a) = D1 ('MetaData "MigrateSem" "Polysemy.Hasql.Migration" "polysemy-hasql-0.0.1.0-J57ntdmSXbcGQB3s2TvhBu" 'True) (C1 ('MetaCons "MigrateSem" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMigrateSem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sem (Database ': (Stop DbError ': r)) a))))

type SemMigrations r migs = Migrations (MigrateSem r) migs Source #

type HoistSemMigrations extra r migs migs' = HoistMigrations (MigrateSem r) (MigrateSem (extra ++ r)) migs migs' Source #

type CustomSemMigrations r migs = All (CustomMigration (MigrateSem r)) migs Source #

hoistSemMigrations :: forall extra r migs migs'. HoistSemMigrations extra r migs migs' => (forall x. Sem (Database ': (Stop DbError ': r)) x -> Sem (Database ': (Stop DbError ': (extra ++ r))) x) -> SemMigrations r migs -> SemMigrations (extra ++ r) migs' Source #