Safe Haskell	Safe-Inferred
Language	Haskell98

Cloudy.Db

Synopsis

createLocalDatabase :: Connection -> IO ()
withCloudyDb :: (Connection -> IO a) -> IO a
withSqliteConn :: FilePath -> (Connection -> IO a) -> IO a
data QuerySingleErr = QuerySingleErr Query String
querySingleErr_ :: FromRow r => Connection -> Query -> IO r
data OnlyOne r
- = OnlyOne r
- | MultipleExist
- | NoneExist
querySingle_ :: FromRow r => Connection -> Query -> IO (OnlyOne r)
queryUnique :: (ToRow a, FromRow r) => Connection -> Query -> a -> IO (Maybe r)
newtype CloudyInstanceId = CloudyInstanceId {
- unCloudyInstanceId :: Int64
}
data CloudyInstance = CloudyInstance {
- id :: CloudyInstanceId
- name :: Text
- createdAt :: Maybe UTCTime
- deletedAt :: Maybe UTCTime
- instanceSetup :: Maybe InstanceSetup
}
newtype DbInstanceSetup = DbInstanceSetup {
- unDbInstanceSetup :: InstanceSetup
}
data ScalewayInstance = ScalewayInstance {
- cloudyInstanceId :: CloudyInstanceId
- scalewayZone :: Text
- scalewayInstanceId :: Text
- scalewayIpId :: Text
- scalewayIpAddress :: Text
}
data InstanceInfo
- = CloudyScalewayInstance CloudyInstance ScalewayInstance
- | CloudyAwsInstance CloudyInstance Void
cloudyInstanceFromInstanceInfo :: InstanceInfo -> CloudyInstance
newCloudyInstance :: Connection -> IO (CloudyInstanceId, Text)
findCloudyInstanceByNameWithDeleted :: Connection -> Text -> IO (Maybe CloudyInstance)
findCloudyInstanceIdByName :: Connection -> Text -> IO (Maybe CloudyInstanceId)
findCloudyInstanceById :: Connection -> CloudyInstanceId -> IO (Maybe CloudyInstance)
findAllCloudyInstances :: Connection -> IO [CloudyInstance]
setCloudyInstanceDeleted :: Connection -> CloudyInstanceId -> IO ()
newScalewayInstance :: Connection -> UTCTime -> CloudyInstanceId -> Maybe InstanceSetup -> Text -> Text -> Text -> Text -> IO ()
findScalewayInstanceByCloudyInstanceId :: Connection -> CloudyInstanceId -> IO (Maybe ScalewayInstance)
findAllScalewayInstances :: Connection -> IO [ScalewayInstance]
findOnlyOneInstanceId :: Connection -> IO (OnlyOne CloudyInstanceId)
utcTimeToSqliteInt :: UTCTime -> Int64
utcTimeFromSqliteInt :: Int64 -> UTCTime
instanceInfoForId :: Connection -> CloudyInstanceId -> IO (Maybe InstanceInfo)
findAllInstanceInfos :: Connection -> IO [InstanceInfo]
data DbInvariantErr
- = CloudyInstanceHasNoProviderInstance CloudyInstanceId
- | CloudyInstanceHasMultipleProviderInstances CloudyInstanceId
- | CloudyInstanceHasNullCreatedAt CloudyInstanceId
assertDbInvariants :: Connection -> IO ()
invariantEveryCloudyInstHasExactlyOneProviderInst :: Connection -> IO [DbInvariantErr]
invariantCloudyInstCorectDates :: Connection -> IO [DbInvariantErr]

Documentation

createLocalDatabase :: Connection -> IO () Source #

withCloudyDb :: (Connection -> IO a) -> IO a Source #

withSqliteConn :: FilePath -> (Connection -> IO a) -> IO a Source #

data QuerySingleErr Source #

Constructors

QuerySingleErr Query String

Instances

Instances details

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

querySingleErr_ :: FromRow r => Connection -> Query -> IO r Source #

data OnlyOne r Source #

Constructors

OnlyOne r
MultipleExist
NoneExist

Instances

Instances details

Functor OnlyOne Source #
Instance details Defined in Cloudy.Db Methods fmap :: (a -> b) -> OnlyOne a -> OnlyOne b # (<$) :: a -> OnlyOne b -> OnlyOne a #
Show r => Show (OnlyOne r) Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> OnlyOne r -> ShowS # show :: OnlyOne r -> String # showList :: [OnlyOne r] -> ShowS #

querySingle_ :: FromRow r => Connection -> Query -> IO (OnlyOne r) Source #

queryUnique :: (ToRow a, FromRow r) => Connection -> Query -> a -> IO (Maybe r) Source #

Query on a column with a UNIQUE constraint. Throws an exception if multiple values are returned.

newtype CloudyInstanceId Source #

Constructors

CloudyInstanceId
Fields unCloudyInstanceId :: Int64

Instances

Instances details

Show CloudyInstanceId Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> CloudyInstanceId -> ShowS # show :: CloudyInstanceId -> String # showList :: [CloudyInstanceId] -> ShowS #
Eq CloudyInstanceId Source #
Instance details Defined in Cloudy.Db Methods (==) :: CloudyInstanceId -> CloudyInstanceId -> Bool # (/=) :: CloudyInstanceId -> CloudyInstanceId -> Bool #
Ord CloudyInstanceId Source #
Instance details Defined in Cloudy.Db Methods compare :: CloudyInstanceId -> CloudyInstanceId -> Ordering # (<) :: CloudyInstanceId -> CloudyInstanceId -> Bool # (<=) :: CloudyInstanceId -> CloudyInstanceId -> Bool # (>) :: CloudyInstanceId -> CloudyInstanceId -> Bool # (>=) :: CloudyInstanceId -> CloudyInstanceId -> Bool # max :: CloudyInstanceId -> CloudyInstanceId -> CloudyInstanceId # min :: CloudyInstanceId -> CloudyInstanceId -> CloudyInstanceId #
FromField CloudyInstanceId Source #
Instance details Defined in Cloudy.Db Methods fromField :: FieldParser CloudyInstanceId #
ToField CloudyInstanceId Source #
Instance details Defined in Cloudy.Db Methods toField :: CloudyInstanceId -> SQLData #

data CloudyInstance Source #

Constructors

CloudyInstance
Fields id :: CloudyInstanceId name :: Text createdAt :: Maybe UTCTime deletedAt :: Maybe UTCTime instanceSetup :: Maybe InstanceSetup

Instances

Instances details

Show CloudyInstance Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> CloudyInstance -> ShowS # show :: CloudyInstance -> String # showList :: [CloudyInstance] -> ShowS #
Eq CloudyInstance Source #
Instance details Defined in Cloudy.Db Methods (==) :: CloudyInstance -> CloudyInstance -> Bool # (/=) :: CloudyInstance -> CloudyInstance -> Bool #
FromRow CloudyInstance Source #
Instance details Defined in Cloudy.Db Methods fromRow :: RowParser CloudyInstance #

newtype DbInstanceSetup Source #

newtype to hold the FromField instance for InstanceSetup, for use in the FromRow instance for CloudyInstance.

The instance_setup column in the cloudy_instance table holds a JSON-encoded InstanceSetup value.

Constructors

DbInstanceSetup
Fields unDbInstanceSetup :: InstanceSetup

Instances

Instances details

FromField DbInstanceSetup Source #
Instance details Defined in Cloudy.Db Methods fromField :: FieldParser DbInstanceSetup #
ToField DbInstanceSetup Source #
Instance details Defined in Cloudy.Db Methods toField :: DbInstanceSetup -> SQLData #

data ScalewayInstance Source #

Constructors

ScalewayInstance
Fields cloudyInstanceId :: CloudyInstanceId scalewayZone :: Text scalewayInstanceId :: Text scalewayIpId :: Text scalewayIpAddress :: Text

Instances

Instances details

Show ScalewayInstance Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> ScalewayInstance -> ShowS # show :: ScalewayInstance -> String # showList :: [ScalewayInstance] -> ShowS #
Eq ScalewayInstance Source #
Instance details Defined in Cloudy.Db Methods (==) :: ScalewayInstance -> ScalewayInstance -> Bool # (/=) :: ScalewayInstance -> ScalewayInstance -> Bool #
FromRow ScalewayInstance Source #
Instance details Defined in Cloudy.Db Methods fromRow :: RowParser ScalewayInstance #
ToRow ScalewayInstance Source #
Instance details Defined in Cloudy.Db Methods toRow :: ScalewayInstance -> [SQLData] #

data InstanceInfo Source #

Constructors

CloudyScalewayInstance CloudyInstance ScalewayInstance
CloudyAwsInstance CloudyInstance Void

Instances

Instances details

Show InstanceInfo Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> InstanceInfo -> ShowS # show :: InstanceInfo -> String # showList :: [InstanceInfo] -> ShowS #

cloudyInstanceFromInstanceInfo :: InstanceInfo -> CloudyInstance Source #

newCloudyInstance :: Connection -> IO (CloudyInstanceId, Text) Source #

findCloudyInstanceByNameWithDeleted :: Connection -> Text -> IO (Maybe CloudyInstance) Source #

Return a cloudy instance matching the given name. This will return an instance even if it has already been deleted.

findCloudyInstanceIdByName :: Connection -> Text -> IO (Maybe CloudyInstanceId) Source #

findCloudyInstanceById :: Connection -> CloudyInstanceId -> IO (Maybe CloudyInstance) Source #

findAllCloudyInstances :: Connection -> IO [CloudyInstance] Source #

setCloudyInstanceDeleted :: Connection -> CloudyInstanceId -> IO () Source #

newScalewayInstance Source #

Arguments

:: Connection
-> UTCTime
-> CloudyInstanceId
-> Maybe InstanceSetup
-> Text	Scaleway Zone
-> Text	Scaleway Instance Id
-> Text	Scaleway IP Id
-> Text	Scaleway IP Address
-> IO ()

findScalewayInstanceByCloudyInstanceId :: Connection -> CloudyInstanceId -> IO (Maybe ScalewayInstance) Source #

findAllScalewayInstances :: Connection -> IO [ScalewayInstance] Source #

findOnlyOneInstanceId :: Connection -> IO (OnlyOne CloudyInstanceId) Source #

Return a single CloudyInstanceId if there is exactly one in the database that is not already deleted.

utcTimeToSqliteInt :: UTCTime -> Int64 Source #

utcTimeFromSqliteInt :: Int64 -> UTCTime Source #

instanceInfoForId :: Connection -> CloudyInstanceId -> IO (Maybe InstanceInfo) Source #

findAllInstanceInfos :: Connection -> IO [InstanceInfo] Source #

data DbInvariantErr Source #

Constructors

CloudyInstanceHasNoProviderInstance CloudyInstanceId
CloudyInstanceHasMultipleProviderInstances CloudyInstanceId
CloudyInstanceHasNullCreatedAt CloudyInstanceId

Instances

Instances details

Show DbInvariantErr Source #
Instance details Defined in Cloudy.Db Methods showsPrec :: Int -> DbInvariantErr -> ShowS # show :: DbInvariantErr -> String # showList :: [DbInvariantErr] -> ShowS #

assertDbInvariants :: Connection -> IO () Source #

invariantEveryCloudyInstHasExactlyOneProviderInst :: Connection -> IO [DbInvariantErr] Source #

There needs to be EXACTLY ONE corresponding cloud provider instance for each cloudy instance.

invariantCloudyInstCorectDates :: Connection -> IO [DbInvariantErr] Source #

Cloudy instances should always have a created_at value that is non-null.

The only time a Cloudy instance can have a created_at value that is null is within the Create CLI command. Although this invariant should hold both before and after the Create CLI command.