Safe Haskell	Safe-Inferred
Language	Haskell2010

ProjectM36.Shortcuts

Contents

Main> #a Int :: AttributeExpr
Main> #a (Attr @[Int]) :: AttributeExpr
Main> #a [1] :: AtomExpr
Main> #a #:= true #: ( #b (f "count" [1,2]))
Orphan instances

Synopsis

data HaskAtomType a where
- Int :: HaskAtomType Int
- Integer :: HaskAtomType Integer
- Double :: HaskAtomType Double
- Text :: HaskAtomType Text
- Bool :: HaskAtomType Bool
- Attr :: Atomable a => HaskAtomType a
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
(><) :: RelationalExpr -> RelationalExpr -> RelationalExpr
allBut :: AttributeNames -> AttributeNames
allFrom :: RelationalExpr -> AttributeNames
as :: AttributeNames -> AttributeName -> (AttributeNames, AttributeName)
group :: RelationalExpr -> (AttributeNames, AttributeName) -> RelationalExpr
ungroup :: RelationalExpr -> AttributeName -> RelationalExpr
(#:) :: RelationalExpr -> ExtendTupleExpr -> RelationalExpr
(@@) :: AttributeName -> AtomExpr
f :: Convertible a AtomExpr => FunctionName -> [a] -> AtomExpr
(#::) :: RelVarName -> [AttributeExpr] -> DatabaseContextExpr
(#:=) :: RelVarName -> RelationalExpr -> DatabaseContextExpr
class Boolean a b where
- (&&&) :: a -> b -> RestrictionPredicateExpr
- (|||) :: a -> b -> RestrictionPredicateExpr
(@~) :: Convertible a RestrictionPredicateExpr => RelationalExpr -> a -> RelationalExpr
true :: RelationalExpr
false :: RelationalExpr
trueP :: RestrictionPredicateExprBase a
falseP :: RestrictionPredicateExprBase a
(?=) :: Convertible a AtomExpr => AttributeName -> a -> RestrictionPredicateExpr
not' :: Convertible a RestrictionPredicateExpr => a -> RestrictionPredicateExpr
toAtomExpr :: Atom -> AtomExpr

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 #

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 # Methods fromList :: [Item TupleExpr] -> TupleExpr # fromListN :: Int -> [Item TupleExpr] -> TupleExpr # toList :: TupleExpr -> [Item TupleExpr] #
KnownSymbol x => IsLabel x AtomExpr Source #
Instance details Methods fromLabel :: AtomExpr #
KnownSymbol x => IsLabel x RelationalExpr Source #
Instance details Methods fromLabel :: RelationalExpr #
KnownSymbol x => IsLabel x Text Source #
Instance details Methods fromLabel :: Text #
Convertible AtomExpr AtomExpr Source #
Instance details Methods safeConvert :: AtomExpr -> ConvertResult AtomExpr #
Convertible AtomExpr RestrictionPredicateExpr Source #
Instance details Methods safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr #
Convertible RelVarName AtomExpr Source #
Instance details Methods safeConvert :: RelVarName -> ConvertResult AtomExpr #
Convertible RelVarName RelationalExpr Source #
Instance details Methods safeConvert :: RelVarName -> ConvertResult RelationalExpr #
Convertible RelationalExpr AtomExpr Source #
Instance details Methods safeConvert :: RelationalExpr -> ConvertResult AtomExpr #
Convertible RelationalExpr RestrictionPredicateExpr Source #
Instance details Methods safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr #
Convertible RestrictionPredicateExpr RestrictionPredicateExpr Source #
Instance details Methods safeConvert :: RestrictionPredicateExpr -> ConvertResult RestrictionPredicateExpr #
Atomable a => Convertible a AtomExpr Source #
Instance details Methods safeConvert :: a -> ConvertResult AtomExpr #
Atomable a => Convertible a RestrictionPredicateExpr Source #
Instance details Methods safeConvert :: a -> ConvertResult RestrictionPredicateExpr #
(KnownSymbol x, Convertible a AtomExpr) => IsLabel x ([a] -> AtomExpr) Source #
Instance details Methods fromLabel :: [a] -> AtomExpr #
(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> ExtendTupleExpr) Source #
Instance details Methods fromLabel :: a -> ExtendTupleExpr #
(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> (AttributeName, AtomExpr)) Source #
Instance details Methods fromLabel :: a -> (AttributeName, AtomExpr) #
IsList (AttributeNamesBase ()) Source #
Instance details Associated Types type Item (AttributeNamesBase ()) # Methods fromList :: [Item (AttributeNamesBase ())] -> AttributeNamesBase () # fromListN :: Int -> [Item (AttributeNamesBase ())] -> AttributeNamesBase () # toList :: AttributeNamesBase () -> [Item (AttributeNamesBase ())] #
IsList (TupleExprsBase ()) Source #
Instance details Associated Types type Item (TupleExprsBase ()) # Methods fromList :: [Item (TupleExprsBase ())] -> TupleExprsBase () # fromListN :: Int -> [Item (TupleExprsBase ())] -> TupleExprsBase () # toList :: TupleExprsBase () -> [Item (TupleExprsBase ())] #