napkin-0.5.12
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Languages.SqlRead

Synopsis

Documentation

data SqlRead m a where #

Constructors

RunQuery :: Query -> SqlRead m [Map Text Value] 
CheckTableExists :: Ref Table -> SqlRead m Bool 
GetRelationSchema :: Relation -> SqlRead m (Fields Field) 

Instances

Instances details
ToDumpItem (SqlRead :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram

Methods

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

GShow (SqlRead a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

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

Eq (SqlRead a b) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

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

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

Show (SqlRead a b) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlRead

Methods

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

show :: SqlRead a b -> String #

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

getRelationSchema :: forall r. MemberWithError SqlRead r => Relation -> Sem r (Fields Field) #

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

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

runQuerySingleAnswer :: forall a r. (Val a, Member SqlRead 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.