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

Polysemy.Hasql.Data.InitDb

Documentation

newtype ClientTag Source #

Constructors

ClientTag 

Fields

Instances

Instances details
IsString ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Generic ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Associated Types

type Rep ClientTag :: Type -> Type #

Show ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Eq ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Ord ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

type Rep ClientTag Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

type Rep ClientTag = D1 ('MetaData "ClientTag" "Polysemy.Hasql.Data.InitDb" "polysemy-hasql-0.0.1.0-J57ntdmSXbcGQB3s2TvhBu" 'True) (C1 ('MetaCons "ClientTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInitTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data InitDb m Source #

Constructors

InitDb 

Fields

Instances

Instances details
Generic (InitDb m) Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Associated Types

type Rep (InitDb m) :: Type -> Type #

Methods

from :: InitDb m -> Rep (InitDb m) x #

to :: Rep (InitDb m) x -> InitDb m #

Applicative m => Default (InitDb m) Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

Methods

def :: InitDb m #

type Rep (InitDb m) Source # 
Instance details

Defined in Polysemy.Hasql.Data.InitDb

type Rep (InitDb m) = D1 ('MetaData "InitDb" "Polysemy.Hasql.Data.InitDb" "polysemy-hasql-0.0.1.0-J57ntdmSXbcGQB3s2TvhBu" 'False) (C1 ('MetaCons "InitDb" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClientTag) :*: (S1 ('MetaSel ('Just "once") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "thunk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Connection -> m ())))))

hoistInitDb :: (m () -> n ()) -> InitDb m -> InitDb n Source #

raiseInitDb :: InitDb (Sem r) -> InitDb (Sem (e ': r)) Source #