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

Copyright2013-2017 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.