ProjectM36.Shortcuts

Main> #a Int :: AttributeExpr

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

Main> #a [1] :: AtomExpr

data HaskAtomType a where

Constructors

Int :: HaskAtomType Int

Integer :: HaskAtomType Integer

Double :: HaskAtomType Double

Text :: HaskAtomType Text

Bool :: HaskAtomType Bool

Attr :: Atomable a => HaskAtomType a

Instances

(KnownSymbol x, Atomable a) => IsLabel x (HaskAtomType a -> AttributeExpr)

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: HaskAtomType a -> AttributeExpr

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

relation :: [TupleExpr] -> RelationalExpr

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

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

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

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

(><) :: RelationalExpr -> RelationalExpr -> RelationalExpr

allBut :: AttributeNames -> AttributeNames

allFrom :: RelationalExpr -> AttributeNames

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

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

ungroup :: RelationalExpr -> AttributeName -> RelationalExpr

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

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

(@@) :: AttributeName -> AtomExpr

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

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

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

class Boolean a b where

Methods

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

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

Instances

(Convertible a RestrictionPredicateExpr, Convertible b RestrictionPredicateExpr) => Boolean a b

Defined in ProjectM36.Shortcuts

Methods

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

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

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

true :: RelationalExpr

false :: RelationalExpr

trueP :: RestrictionPredicateExprBase a

falseP :: RestrictionPredicateExprBase a

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

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

toAtomExpr :: Atom -> AtomExpr

Orphan instances

IsList TupleExpr

Associated Types

type Item TupleExpr

Methods

fromList :: [Item TupleExpr] -> TupleExpr

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

toList :: TupleExpr -> [Item TupleExpr]

KnownSymbol x => IsLabel x AtomExpr

Methods

fromLabel :: AtomExpr

KnownSymbol x => IsLabel x RelationalExpr

Methods

fromLabel :: RelationalExpr

KnownSymbol x => IsLabel x Text

Methods

fromLabel :: Text

Convertible AtomExpr AtomExpr

Methods

safeConvert :: AtomExpr -> ConvertResult AtomExpr

Convertible AtomExpr RestrictionPredicateExpr

Methods

safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr

Convertible RelVarName AtomExpr

Methods

safeConvert :: RelVarName -> ConvertResult AtomExpr

Convertible RelVarName RelationalExpr

Methods

safeConvert :: RelVarName -> ConvertResult RelationalExpr

Convertible RelationalExpr AtomExpr

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr

Convertible RelationalExpr RestrictionPredicateExpr

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr

Convertible RestrictionPredicateExpr RestrictionPredicateExpr

Methods

safeConvert :: RestrictionPredicateExpr -> ConvertResult RestrictionPredicateExpr

Atomable a => Convertible a AtomExpr

Methods

safeConvert :: a -> ConvertResult AtomExpr

Atomable a => Convertible a RestrictionPredicateExpr

Methods

safeConvert :: a -> ConvertResult RestrictionPredicateExpr

(KnownSymbol x, Convertible a AtomExpr) => IsLabel x ([a] -> AtomExpr)

Methods

fromLabel :: [a] -> AtomExpr

(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> ExtendTupleExpr)

Methods

fromLabel :: a -> ExtendTupleExpr

(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> (AttributeName, AtomExpr))

Methods

fromLabel :: a -> (AttributeName, AtomExpr)

IsList (AttributeNamesBase ())

Associated Types

type Item (AttributeNamesBase ())

Methods

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

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

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

IsList (TupleExprsBase ())

Associated Types

type Item (TupleExprsBase ())

Methods

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

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

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