Safe Haskell	Safe-Inferred
Language	Haskell2010

DomainDriven.Persistance.Postgres.Types

Documentation

data PersistanceError Source #

Constructors

EncodingError String
ValueError String

Instances

Instances details

Exception PersistanceError Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods toException :: PersistanceError -> SomeException # fromException :: SomeException -> Maybe PersistanceError # displayException :: PersistanceError -> String #
Show PersistanceError Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods showsPrec :: Int -> PersistanceError -> ShowS # show :: PersistanceError -> String # showList :: [PersistanceError] -> ShowS #
Eq PersistanceError Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods (==) :: PersistanceError -> PersistanceError -> Bool # (/=) :: PersistanceError -> PersistanceError -> Bool #

type EventTableBaseName = String Source #

type EventVersion = Int Source #

type EventTableName = String Source #

type PreviousEventTableName = String Source #

type ChunkSize = Int Source #

type EventMigration = PreviousEventTableName -> EventTableName -> Connection -> IO () Source #

data EventTable Source #

Constructors

MigrateUsing EventMigration EventTable
InitialVersion EventTableBaseName

newtype EventNumber Source #

Constructors

EventNumber
Fields unEventNumber :: Int64

Instances

Instances details

Generic EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Associated Types type Rep EventNumber :: Type -> Type # Methods from :: EventNumber -> Rep EventNumber x # to :: Rep EventNumber x -> EventNumber #
Num EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods (+) :: EventNumber -> EventNumber -> EventNumber # (-) :: EventNumber -> EventNumber -> EventNumber # (*) :: EventNumber -> EventNumber -> EventNumber # negate :: EventNumber -> EventNumber # abs :: EventNumber -> EventNumber # signum :: EventNumber -> EventNumber # fromInteger :: Integer -> EventNumber #
Show EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods showsPrec :: Int -> EventNumber -> ShowS # show :: EventNumber -> String # showList :: [EventNumber] -> ShowS #
Eq EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods (==) :: EventNumber -> EventNumber -> Bool # (/=) :: EventNumber -> EventNumber -> Bool #
Ord EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods compare :: EventNumber -> EventNumber -> Ordering # (<) :: EventNumber -> EventNumber -> Bool # (<=) :: EventNumber -> EventNumber -> Bool # (>) :: EventNumber -> EventNumber -> Bool # (>=) :: EventNumber -> EventNumber -> Bool # max :: EventNumber -> EventNumber -> EventNumber # min :: EventNumber -> EventNumber -> EventNumber #
FromField EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods fromField :: FieldParser EventNumber #
type Rep EventNumber Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types type Rep EventNumber = D1 ('MetaData "EventNumber" "DomainDriven.Persistance.Postgres.Types" "domaindriven-core-0.5.0-7rYqBJZZqKF59TNQHBa9rT" 'True) (C1 ('MetaCons "EventNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEventNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

data NumberedModel m Source #

Constructors

NumberedModel
Fields model :: !m eventNumber :: !EventNumber

Instances

Instances details

Generic (NumberedModel m) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Associated Types type Rep (NumberedModel m) :: Type -> Type # Methods from :: NumberedModel m -> Rep (NumberedModel m) x # to :: Rep (NumberedModel m) x -> NumberedModel m #
Show m => Show (NumberedModel m) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods showsPrec :: Int -> NumberedModel m -> ShowS # show :: NumberedModel m -> String # showList :: [NumberedModel m] -> ShowS #
type Rep (NumberedModel m) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types type Rep (NumberedModel m) = D1 ('MetaData "NumberedModel" "DomainDriven.Persistance.Postgres.Types" "domaindriven-core-0.5.0-7rYqBJZZqKF59TNQHBa9rT" 'False) (C1 ('MetaCons "NumberedModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "model") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 m) :*: S1 ('MetaSel ('Just "eventNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EventNumber)))

data NumberedEvent e Source #

Constructors

NumberedEvent
Fields event :: !(Stored e) eventNumber :: !EventNumber

Instances

Instances details

Generic (NumberedEvent e) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Associated Types type Rep (NumberedEvent e) :: Type -> Type # Methods from :: NumberedEvent e -> Rep (NumberedEvent e) x # to :: Rep (NumberedEvent e) x -> NumberedEvent e #
Show e => Show (NumberedEvent e) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods showsPrec :: Int -> NumberedEvent e -> ShowS # show :: NumberedEvent e -> String # showList :: [NumberedEvent e] -> ShowS #
type Rep (NumberedEvent e) Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types type Rep (NumberedEvent e) = D1 ('MetaData "NumberedEvent" "DomainDriven.Persistance.Postgres.Types" "domaindriven-core-0.5.0-7rYqBJZZqKF59TNQHBa9rT" 'False) (C1 ('MetaCons "NumberedEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "event") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Stored e)) :*: S1 ('MetaSel ('Just "eventNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EventNumber)))

data OngoingTransaction Source #

Constructors

OngoingTransaction
Fields connection :: Connection localPool :: LocalPool Connection

Instances

Instances details

Generic OngoingTransaction Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Associated Types type Rep OngoingTransaction :: Type -> Type # Methods from :: OngoingTransaction -> Rep OngoingTransaction x # to :: Rep OngoingTransaction x -> OngoingTransaction #
type Rep OngoingTransaction Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types type Rep OngoingTransaction = D1 ('MetaData "OngoingTransaction" "DomainDriven.Persistance.Postgres.Types" "domaindriven-core-0.5.0-7rYqBJZZqKF59TNQHBa9rT" 'False) (C1 ('MetaCons "OngoingTransaction" 'PrefixI 'True) (S1 ('MetaSel ('Just "connection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Connection) :*: S1 ('MetaSel ('Just "localPool") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LocalPool Connection))))

data EventRowOut Source #

Constructors

EventRowOut
Fields key :: UUID commitNumber :: EventNumber timestamp :: UTCTime event :: Value

Instances

Instances details

Generic EventRowOut Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Associated Types type Rep EventRowOut :: Type -> Type # Methods from :: EventRowOut -> Rep EventRowOut x # to :: Rep EventRowOut x -> EventRowOut #
Show EventRowOut Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods showsPrec :: Int -> EventRowOut -> ShowS # show :: EventRowOut -> String # showList :: [EventRowOut] -> ShowS #
Eq EventRowOut Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods (==) :: EventRowOut -> EventRowOut -> Bool # (/=) :: EventRowOut -> EventRowOut -> Bool #
FromRow EventRowOut Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types Methods fromRow :: RowParser EventRowOut #
type Rep EventRowOut Source #
Instance details Defined in DomainDriven.Persistance.Postgres.Types type Rep EventRowOut = D1 ('MetaData "EventRowOut" "DomainDriven.Persistance.Postgres.Types" "domaindriven-core-0.5.0-7rYqBJZZqKF59TNQHBa9rT" 'False) (C1 ('MetaCons "EventRowOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :: S1 ('MetaSel ('Just "commitNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EventNumber)) :: (S1 ('MetaSel ('Just "timestamp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "event") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

fromEventRow :: (FromJSON e, MonadThrow m) => EventRowOut -> m (Stored e, EventNumber) Source #