relational-query-0.0.1.0: Typeful, Modular, Relational, algebraic query engine

Copyright2013 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Query.Monad.Type

Contents

Description

This module defines core query type.

Synopsis

Core query monad

type ConfigureQuery = Qualify (QueryConfig Identity) Source

Thin monad type for untyped structure.

configureQuery :: ConfigureQuery q -> Config -> q Source

Run ConfigureQuery monad with initial state to get only result.

qualifyQuery :: a -> ConfigureQuery (Qualified a) Source

Get qualifyed table form query.

askConfig :: ConfigureQuery Config Source

Read configuration.

type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery) Source

Core query monad type used from flat(not-aggregated) query and aggregated query.