relational-query-0.0.1.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 Identity 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.