Database.Rivet

Documentation

data Direction

Constructors

Up

Down

data Syntax m

Constructors

SQL Text Text

App (m ()) (m ())

data Migration m v

Constructors

Migration

Fields

• migValue :: v
• migSteps :: [Syntax m]

Instances

Monad (Migration m)

Methods

(>>=) :: Migration m a -> (a -> Migration m b) -> Migration m b

(>>) :: Migration m a -> Migration m b -> Migration m b

return :: a -> Migration m a

fail :: String -> Migration m a

Functor (Migration m)

Methods

fmap :: (a -> b) -> Migration m a -> Migration m b

(<$) :: a -> Migration m b -> Migration m a

Applicative (Migration m)

Methods

pure :: a -> Migration m a

(<*>) :: Migration m (a -> b) -> Migration m a -> Migration m b

(*>) :: Migration m a -> Migration m b -> Migration m b

(<*) :: Migration m a -> Migration m b -> Migration m a

data Adaptor m

Constructors

Adaptor

Fields

• runHandler :: m () -> IO ()
• runSQL :: Text -> IO ()
• checkMigration :: Text -> IO Bool
• markMigration :: Text -> Direction -> IO ()

runMigration :: Direction -> Adaptor m -> Text -> Migration m () -> IO ()

runStep :: Direction -> Adaptor m -> Syntax m -> IO ()