| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Run.Effects.Languages.LoadQuery
Synopsis
- newtype LoadQueryError = LoadQueryError Text
- data LoadQuery (m :: k) a where
- LoadQueryFromFile :: forall {k} (m :: k). FilePath -> SqlTemplateVariables -> LoadQuery m (Either LoadQueryError Text)
- LoadQueryInline :: forall {k} (m :: k). SourceLocation -> Text -> SqlTemplateVariables -> LoadQuery m (Either LoadQueryError Text)
- loadQueryFromFile :: forall (r :: EffectRow). Member (LoadQuery :: (Type -> Type) -> Type -> Type) r => FilePath -> SqlTemplateVariables -> Sem r (Either LoadQueryError Text)
- loadQueryInline :: forall (r :: EffectRow). Member (LoadQuery :: (Type -> Type) -> Type -> Type) r => SourceLocation -> Text -> SqlTemplateVariables -> Sem r (Either LoadQueryError Text)
- loadFile :: forall (r :: EffectRow) a. Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => (SourceLocation -> Text -> Sem r a) -> FilePath -> SqlTemplateVariables -> Sem r a
- loadInline :: forall (r :: EffectRow) a. Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => (SourceLocation -> Text -> Sem r a) -> Text -> SqlTemplateVariables -> Sem r a
- loadSqlFile :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => FilePath -> SqlTemplateVariables -> Sem r Query
- loadSqlFiles :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => NonEmpty FilePath -> SqlTemplateVariables -> Sem r (NonEmpty Query)
- loadInlineSql :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Text -> SqlTemplateVariables -> Sem r Query
- loadInlineStatement :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => Text -> SqlTemplateVariables -> Sem r [a]
- loadStatementFile :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => FilePath -> SqlTemplateVariables -> Sem r [a]
- data LoadQueryCacheKey
Documentation
newtype LoadQueryError #
Constructors
| LoadQueryError Text |
Instances
| Show LoadQueryError # | |
Defined in Napkin.Run.Effects.Languages.LoadQuery Methods showsPrec :: Int -> LoadQueryError -> ShowS # show :: LoadQueryError -> String # showList :: [LoadQueryError] -> ShowS # | |
| Eq LoadQueryError # | |
Defined in Napkin.Run.Effects.Languages.LoadQuery Methods (==) :: LoadQueryError -> LoadQueryError -> Bool # (/=) :: LoadQueryError -> LoadQueryError -> Bool # | |
data LoadQuery (m :: k) a where #
Effects that deal with local files
Constructors
| LoadQueryFromFile :: forall {k} (m :: k). FilePath -> SqlTemplateVariables -> LoadQuery m (Either LoadQueryError Text) | |
| LoadQueryInline :: forall {k} (m :: k). SourceLocation -> Text -> SqlTemplateVariables -> LoadQuery m (Either LoadQueryError Text) |
Instances
| CacheableEffect (LoadQuery :: k -> Type -> Type) LoadQueryCacheKey # | |
Defined in Napkin.Run.Effects.Languages.LoadQuery Methods | |
| Eq (LoadQuery m a) # | |
| Ord (LoadQuery m a) # | |
Defined in Napkin.Run.Effects.Languages.LoadQuery Methods compare :: LoadQuery m a -> LoadQuery m a -> Ordering # (<) :: LoadQuery m a -> LoadQuery m a -> Bool # (<=) :: LoadQuery m a -> LoadQuery m a -> Bool # (>) :: LoadQuery m a -> LoadQuery m a -> Bool # (>=) :: LoadQuery m a -> LoadQuery m a -> Bool # | |
loadQueryFromFile :: forall (r :: EffectRow). Member (LoadQuery :: (Type -> Type) -> Type -> Type) r => FilePath -> SqlTemplateVariables -> Sem r (Either LoadQueryError Text) #
loadQueryInline :: forall (r :: EffectRow). Member (LoadQuery :: (Type -> Type) -> Type -> Type) r => SourceLocation -> Text -> SqlTemplateVariables -> Sem r (Either LoadQueryError Text) #
loadFile :: forall (r :: EffectRow) a. Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => (SourceLocation -> Text -> Sem r a) -> FilePath -> SqlTemplateVariables -> Sem r a #
loadInline :: forall (r :: EffectRow) a. Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => (SourceLocation -> Text -> Sem r a) -> Text -> SqlTemplateVariables -> Sem r a #
loadSqlFile :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => FilePath -> SqlTemplateVariables -> Sem r Query #
loadSqlFiles :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => NonEmpty FilePath -> SqlTemplateVariables -> Sem r (NonEmpty Query) #
loadInlineSql :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Text -> SqlTemplateVariables -> Sem r Query #
loadInlineStatement :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => Text -> SqlTemplateVariables -> Sem r [a] #
loadStatementFile :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, LoadQuery :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => FilePath -> SqlTemplateVariables -> Sem r [a] #
data LoadQueryCacheKey #
Instances
| CacheableEffect (LoadQuery :: k -> Type -> Type) LoadQueryCacheKey # | |
Defined in Napkin.Run.Effects.Languages.LoadQuery Methods | |