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

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

Database.Relational.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 = Record Flat r -> Restrict a Source #

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

extract :: Restrict a -> Config -> (a, [Predicate Flat]) Source #

Run Restrict to get QueryRestriction.