project-m36-1.1.0: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.Shortcuts

Synopsis

Main> #a Int :: AttributeExpr

Main> #a (Attr @[Int]) :: AttributeExpr

Main> #a [1] :: AtomExpr

Main> #a #:= true #: ( #b (f "count" [1,2]))

class Boolean a b where Source #

Methods

(&&&) :: a -> b -> RestrictionPredicateExpr infixl 6 Source #

(|||) :: a -> b -> RestrictionPredicateExpr infixl 5 Source #

Orphan instances

IsList TupleExpr Source # 
Instance details

Associated Types

type Item TupleExpr Source #

KnownSymbol x => IsLabel x AtomExpr Source # 
Instance details

KnownSymbol x => IsLabel x RelationalExpr Source # 
Instance details

KnownSymbol x => IsLabel x Text Source # 
Instance details

Convertible AtomExpr AtomExpr Source # 
Instance details

Convertible AtomExpr RestrictionPredicateExpr Source # 
Instance details

Convertible RelVarName AtomExpr Source # 
Instance details

Convertible RelVarName RelationalExpr Source # 
Instance details

Convertible RelationalExpr AtomExpr Source # 
Instance details

Convertible RelationalExpr RestrictionPredicateExpr Source # 
Instance details

Convertible RestrictionPredicateExpr RestrictionPredicateExpr Source # 
Instance details

Atomable a => Convertible a AtomExpr Source # 
Instance details

Atomable a => Convertible a RestrictionPredicateExpr Source # 
Instance details

(KnownSymbol x, Convertible a AtomExpr) => IsLabel x ([a] -> AtomExpr) Source # 
Instance details

Methods

fromLabel :: [a] -> AtomExpr Source #

(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> ExtendTupleExpr) Source # 
Instance details

(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> (AttributeName, AtomExpr)) Source # 
Instance details

IsList (AttributeNamesBase ()) Source # 
Instance details

Associated Types

type Item (AttributeNamesBase ()) Source #

IsList (TupleExprsBase ()) Source # 
Instance details

Associated Types

type Item (TupleExprsBase ()) Source #