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

ProjectM36.Shortcuts

Synopsis

Main> #a Int :: AttributeExpr

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

Main> #a [1] :: AtomExpr

data HaskAtomType a where Source #

Constructors

Int :: HaskAtomType Int 
Integer :: HaskAtomType Integer 
Double :: HaskAtomType Double 
Text :: HaskAtomType Text 
Bool :: HaskAtomType Bool 
Attr :: Atomable a => HaskAtomType a 

Instances

Instances details
(KnownSymbol x, Atomable a) => IsLabel x (HaskAtomType a -> AttributeExpr) Source # 
Instance details

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: HaskAtomType a -> AttributeExpr Source #

toAtomType'' :: Atomable a => HaskAtomType a -> AtomType Source #

relation :: [TupleExpr] -> RelationalExpr Source #

relation' :: [AttributeExprBase ()] -> [TupleExpr] -> RelationalExpr Source #

tuple :: [(AttributeName, AtomExpr)] -> TupleExprBase () Source #

rename :: RelationalExpr -> [(AttributeName, AttributeName)] -> RelationalExpr Source #

(!!) :: RelationalExpr -> AttributeNames -> RelationalExpr infix 9 Source #

(><) :: RelationalExpr -> RelationalExpr -> RelationalExpr Source #

allBut :: AttributeNames -> AttributeNames Source #

allFrom :: RelationalExpr -> AttributeNames Source #

as :: AttributeNames -> AttributeName -> (AttributeNames, AttributeName) Source #

group :: RelationalExpr -> (AttributeNames, AttributeName) -> RelationalExpr Source #

ungroup :: RelationalExpr -> AttributeName -> RelationalExpr Source #

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

(#:) :: RelationalExpr -> ExtendTupleExpr -> RelationalExpr infix 8 Source #

(@@) :: AttributeName -> AtomExpr Source #

f :: Convertible a AtomExpr => FunctionName -> [a] -> AtomExpr Source #

(#::) :: RelVarName -> [AttributeExpr] -> DatabaseContextExpr infix 5 Source #

(#:=) :: RelVarName -> RelationalExpr -> DatabaseContextExpr infix 5 Source #

class Boolean a b where Source #

Methods

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

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

Instances

Instances details
(Convertible a RestrictionPredicateExpr, Convertible b RestrictionPredicateExpr) => Boolean a b Source # 
Instance details

Defined in ProjectM36.Shortcuts

Methods

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

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

(@~) :: Convertible a RestrictionPredicateExpr => RelationalExpr -> a -> RelationalExpr infix 4 Source #

true :: RelationalExpr Source #

false :: RelationalExpr Source #

trueP :: RestrictionPredicateExprBase a Source #

falseP :: RestrictionPredicateExprBase a Source #

(?=) :: Convertible a AtomExpr => AttributeName -> a -> RestrictionPredicateExpr infix 9 Source #

not' :: Convertible a RestrictionPredicateExpr => a -> RestrictionPredicateExpr Source #

toAtomExpr :: Atom -> AtomExpr Source #

Orphan instances

IsList TupleExpr Source # 
Instance details

Associated Types

type Item TupleExpr Source #

Methods

fromList :: [Item TupleExpr] -> TupleExpr Source #

fromListN :: Int -> [Item TupleExpr] -> TupleExpr Source #

toList :: TupleExpr -> [Item TupleExpr] Source #

KnownSymbol x => IsLabel x AtomExpr Source # 
Instance details

Methods

fromLabel :: AtomExpr Source #

KnownSymbol x => IsLabel x RelationalExpr Source # 
Instance details

Methods

fromLabel :: RelationalExpr Source #

KnownSymbol x => IsLabel x Text Source # 
Instance details

Methods

fromLabel :: Text Source #

Convertible AtomExpr AtomExpr Source # 
Instance details

Methods

safeConvert :: AtomExpr -> ConvertResult AtomExpr Source #

Convertible AtomExpr RestrictionPredicateExpr Source # 
Instance details

Methods

safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr Source #

Convertible RelVarName AtomExpr Source # 
Instance details

Methods

safeConvert :: RelVarName -> ConvertResult AtomExpr Source #

Convertible RelVarName RelationalExpr Source # 
Instance details

Methods

safeConvert :: RelVarName -> ConvertResult RelationalExpr Source #

Convertible RelationalExpr AtomExpr Source # 
Instance details

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr Source #

Convertible RelationalExpr RestrictionPredicateExpr Source # 
Instance details

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr Source #

Convertible RestrictionPredicateExpr RestrictionPredicateExpr Source # 
Instance details

Methods

safeConvert :: RestrictionPredicateExpr -> ConvertResult RestrictionPredicateExpr Source #

Atomable a => Convertible a AtomExpr Source # 
Instance details

Methods

safeConvert :: a -> ConvertResult AtomExpr Source #

Atomable a => Convertible a RestrictionPredicateExpr Source # 
Instance details

Methods

safeConvert :: a -> ConvertResult RestrictionPredicateExpr Source #

(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

Methods

fromLabel :: a -> ExtendTupleExpr Source #

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

Methods

fromLabel :: a -> (AttributeName, AtomExpr) Source #

IsList (AttributeNamesBase ()) Source # 
Instance details

Associated Types

type Item (AttributeNamesBase ()) Source #

Methods

fromList :: [Item (AttributeNamesBase ())] -> AttributeNamesBase () Source #

fromListN :: Int -> [Item (AttributeNamesBase ())] -> AttributeNamesBase () Source #

toList :: AttributeNamesBase () -> [Item (AttributeNamesBase ())] Source #

IsList (TupleExprsBase ()) Source # 
Instance details

Associated Types

type Item (TupleExprsBase ()) Source #

Methods

fromList :: [Item (TupleExprsBase ())] -> TupleExprsBase () Source #

fromListN :: Int -> [Item (TupleExprsBase ())] -> TupleExprsBase () Source #

toList :: TupleExprsBase () -> [Item (TupleExprsBase ())] Source #