Safe Haskell	None
Language	Haskell2010

Database.Trek.Db

Contents

Life cycle management
Types

Synopsis

apply :: InputGroup -> DB (Maybe OutputGroup)
data InputMigration = InputMigration {
- inputAction :: DB ()
- inputVersion :: Version
- inputHash :: Binary Hash
}
data OutputMigration = OutputMigration {
- omVersion :: Version
- omHash :: Binary Hash
}
newtype GroupId = GroupId (Binary ByteString)
type Version = UTCTime
type Hash = ByteString
type DB = DBT IO
data OutputGroup = OutputGroup {
- ogId :: GroupId
- ogCreatedAt :: UTCTime
- ogMigrations :: NonEmpty OutputMigration
}
data InputGroup = InputGroup {
- inputGroupMigrations :: NonEmpty InputMigration
- inputGroupCreateAd :: UTCTime
}
inputGroup :: NonEmpty InputMigration -> DB InputGroup
type Time = UTCTime
makeGroupHash :: UTCTime -> [InputMigration] -> Hash

Life cycle management

apply :: InputGroup -> DB (Maybe OutputGroup) Source #

Types

data InputMigration Source #

Constructors

InputMigration
Fields inputAction :: DB () inputVersion :: Version inputHash :: Binary Hash

Instances

ToRow InputMigration Source #
Instance details Defined in Database.Trek.Db Methods toRow :: InputMigration -> [Action] #

data OutputMigration Source #

Constructors

OutputMigration
Fields omVersion :: Version omHash :: Binary Hash

Instances

Eq OutputMigration Source #
Instance details Defined in Database.Trek.Db Methods (==) :: OutputMigration -> OutputMigration -> Bool # (/=) :: OutputMigration -> OutputMigration -> Bool #
Ord OutputMigration Source #
Instance details Defined in Database.Trek.Db Methods compare :: OutputMigration -> OutputMigration -> Ordering # (<) :: OutputMigration -> OutputMigration -> Bool # (<=) :: OutputMigration -> OutputMigration -> Bool # (>) :: OutputMigration -> OutputMigration -> Bool # (>=) :: OutputMigration -> OutputMigration -> Bool # max :: OutputMigration -> OutputMigration -> OutputMigration # min :: OutputMigration -> OutputMigration -> OutputMigration #
Show OutputMigration Source #
Instance details Defined in Database.Trek.Db Methods showsPrec :: Int -> OutputMigration -> ShowS # show :: OutputMigration -> String # showList :: [OutputMigration] -> ShowS #
Generic OutputMigration Source #
Instance details Defined in Database.Trek.Db Associated Types type Rep OutputMigration :: Type -> Type # Methods from :: OutputMigration -> Rep OutputMigration x # to :: Rep OutputMigration x -> OutputMigration #
FromRow OutputMigration Source #
Instance details Defined in Database.Trek.Db Methods fromRow :: RowParser OutputMigration #
type Rep OutputMigration Source #
Instance details Defined in Database.Trek.Db type Rep OutputMigration = D1 (MetaData "OutputMigration" "Database.Trek.Db" "trek-db-0.1.0.0-Hw9qaaaf47I8pq3pxJIvP5" False) (C1 (MetaCons "OutputMigration" PrefixI True) (S1 (MetaSel (Just "omVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version) :*: S1 (MetaSel (Just "omHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Binary Hash))))

newtype GroupId Source #

Constructors

GroupId (Binary ByteString)

Instances

Eq GroupId Source #
Instance details Defined in Database.Trek.Db Methods (==) :: GroupId -> GroupId -> Bool # (/=) :: GroupId -> GroupId -> Bool #
Ord GroupId Source #
Instance details Defined in Database.Trek.Db Methods compare :: GroupId -> GroupId -> Ordering # (<) :: GroupId -> GroupId -> Bool # (<=) :: GroupId -> GroupId -> Bool # (>) :: GroupId -> GroupId -> Bool # (>=) :: GroupId -> GroupId -> Bool # max :: GroupId -> GroupId -> GroupId # min :: GroupId -> GroupId -> GroupId #
Show GroupId Source #
Instance details Defined in Database.Trek.Db Methods showsPrec :: Int -> GroupId -> ShowS # show :: GroupId -> String # showList :: [GroupId] -> ShowS #
Generic GroupId Source #
Instance details Defined in Database.Trek.Db Associated Types type Rep GroupId :: Type -> Type # Methods from :: GroupId -> Rep GroupId x # to :: Rep GroupId x -> GroupId #
FromRow GroupId Source #
Instance details Defined in Database.Trek.Db Methods fromRow :: RowParser GroupId #
FromField GroupId Source #
Instance details Defined in Database.Trek.Db Methods fromField :: FieldParser GroupId #
ToRow GroupId Source #
Instance details Defined in Database.Trek.Db Methods toRow :: GroupId -> [Action] #
ToField GroupId Source #
Instance details Defined in Database.Trek.Db Methods toField :: GroupId -> Action #
type Rep GroupId Source #
Instance details Defined in Database.Trek.Db type Rep GroupId = D1 (MetaData "GroupId" "Database.Trek.Db" "trek-db-0.1.0.0-Hw9qaaaf47I8pq3pxJIvP5" True) (C1 (MetaCons "GroupId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Binary ByteString))))

type Version = UTCTime Source #

type Hash = ByteString Source #

type DB = DBT IO #

data OutputGroup Source #

Constructors

OutputGroup
Fields ogId :: GroupId ogCreatedAt :: UTCTime ogMigrations :: NonEmpty OutputMigration

Instances

Eq OutputGroup Source #
Instance details Defined in Database.Trek.Db Methods (==) :: OutputGroup -> OutputGroup -> Bool # (/=) :: OutputGroup -> OutputGroup -> Bool #
Show OutputGroup Source #
Instance details Defined in Database.Trek.Db Methods showsPrec :: Int -> OutputGroup -> ShowS # show :: OutputGroup -> String # showList :: [OutputGroup] -> ShowS #

data InputGroup Source #

Constructors

InputGroup
Fields inputGroupMigrations :: NonEmpty InputMigration inputGroupCreateAd :: UTCTime

inputGroup :: NonEmpty InputMigration -> DB InputGroup Source #

type Time = UTCTime Source #

makeGroupHash :: UTCTime -> [InputMigration] -> Hash Source #