napkin-0.5.13
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Languages.SqlRead

Synopsis

Documentation

data SqlRead b m a where #

Instances

Instances details
(IsRenderable SExp b, IsRenderable Query b) => ToDumpItem (b :: k) (SqlRead b :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram

Methods

toDumpItem :: forall (r :: EffectRow) (x :: k0). SqlRead b (Sem r) x -> DumpItem b #

GShow (SqlRead b m :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

gshowsPrec :: forall (a :: k). Int -> SqlRead b m a -> ShowS #

Eq (SqlRead b m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

(==) :: SqlRead b m a -> SqlRead b m a -> Bool #

(/=) :: SqlRead b m a -> SqlRead b m a -> Bool #

Show (SqlRead b m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

showsPrec :: Int -> SqlRead b m a -> ShowS #

show :: SqlRead b m a -> String #

showList :: [SqlRead b m a] -> ShowS #

checkTableExists :: forall b r. MemberWithError (SqlRead b) r => Ref Table -> Sem r Bool #

runQuery :: forall b r. MemberWithError (SqlRead b) r => Query -> Sem r [Map Text Value] #

runQuerySingleAnswer :: forall b a r. (Val a, Member (SqlRead b) r) => Query -> Sem r (Maybe a) #

Run a query and pull out the first column from its first row. Meant for queries that return a single result.