Internal.Control.Effects.Basic

Documentation

newtype Basic

Constructors

RunSql Type

Instances

data Effect Basic

data Effect Basic where

• RunSqlMsg :: Effect Basic (RunSql a) Msg
• RunSqlRes :: Effect Basic (RunSql a) Res

newtype SqlRequest a

Constructors

SqlRequest

Fields

• getSqlRequest :: SqlExp

Instances

Show (SqlRequest k a)

Methods

showsPrec :: Int -> SqlRequest k a -> ShowS

show :: SqlRequest k a -> String

showList :: [SqlRequest k a] -> ShowS

effectBasic :: (MonadEffect Basic m, FromRow a) => SqlRequest a -> m [a]

handleBasic :: Functor m => (forall b. FromRow b => SqlRequest b -> m [b]) -> EffectHandler Basic m a -> m a

handleBasicPsql :: MonadIO m => Connection -> EffectHandler Basic m a -> m a

Handles SQL by querying a PostgreSQL database.

type family AllTables tables where ...

Equations

AllTables '[x] = x

AllTables (x ': xs) = x :. AllTables xs

class FromRow (AllTables ts) => AllHaveFromRowInstance ts where

Minimal complete definition

compositeToTuple

Methods

compositeToTuple :: proxy ts -> AllTables ts -> DbResult ts

Instances

(FromRow a, FromRow b, FromRow c) => AllHaveFromRowInstance ((:) * a ((:) * b ((:) * c ([] *))))

Methods

compositeToTuple :: proxy ((* ': a) ((* ': b) ((* ': c) [*]))) -> AllTables ((* ': a) ((* ': b) ((* ': c) [*]))) -> DbResult ((* ': a) ((* ': b) ((* ': c) [*])))

(FromRow a, FromRow b) => AllHaveFromRowInstance ((:) * a ((:) * b ([] *)))

Methods

compositeToTuple :: proxy ((* ': a) ((* ': b) [*])) -> AllTables ((* ': a) ((* ': b) [*])) -> DbResult ((* ': a) ((* ': b) [*]))

FromRow a => AllHaveFromRowInstance ((:) * a ([] *))

Methods

compositeToTuple :: proxy ((* ': a) [*]) -> AllTables ((* ': a) [*]) -> DbResult ((* ': a) [*])

runDbStatement :: forall ts m f. (AllHaveFromRowInstance ts, MonadEffect Basic m) => DbStatement f ts -> m [DbResult ts]

runAggregateStatement :: forall aggr m. (MonadEffect Basic m, FromRow (AggregationResult aggr)) => AggregateStatement aggr AM -> m (AggregationResult aggr)

type family WithoutOnly a where ...

Equations

WithoutOnly (Only a) = a

WithoutOnly a = a

class NoOnly a where

Minimal complete definition

noOnly

Methods

noOnly :: a -> WithoutOnly a

Instances

(~) * (WithoutOnly a) a => NoOnly a

Methods

noOnly :: a -> WithoutOnly a

NoOnly (Only a)

Methods

noOnly :: Only a -> WithoutOnly (Only a)

runMapStatement :: forall res m f. (MonadEffect Basic m, FromRow res, NoOnly res) => DbStatement f '[res] -> m [WithoutOnly res]

module Control.Effects