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

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

Database.Relational.Query.Monad.Restrict

Contents

Description

This module contains definitions about simple restrict context monad type.

Synopsis

Monad to restrict target records.

type Restrict = Restrictings Flat ConfigureQuery Source

Restrict only monad type used from update statement and delete statement.

type RestrictedStatement r a = Projection Flat r -> Restrict a Source

RestrictedStatement type synonym. Projection record type r must be the same as Restrictings type parameter r.

extract :: Restrict a -> Config -> (a, QueryRestriction Flat) Source

Run Restrict to get QueryRestriction.