Internal.Data.Basic.Types
data VarContext
data Var ctx a
data Key
data MissingField
data Cached
data EntityKind
data Entity entKind a
data FieldConstraint
type family MissingFields (entKind :: EntityKind) :: [MissingField] where ...
type SetFields missing table
class AllTypesSatisfy c table fields
class JSONableField a n
class GetEntityFromValue fs a miss
type family SameTypes toTable (toFields :: [Symbol]) fromTable (fromFields :: [Symbol]) :: Constraint where ...
class Table table
class ValidConstraint table constr
type family KindOfDbExp a :: ExpressionKind where ...
type family IsDbStatement (m :: k -> *) :: Bool where ...
class ValueAsDbExp a b
class ValueAsDbExp' isDbExp a b
class TableField table name
class PrimaryKeyConstraint name
class UniqueConstraint name
class ForeignKeyConstraint name
type family MissingFieldName (f :: MissingField) :: Symbol where ...
type family MissingFieldsNames (fs :: [MissingField]) :: [Symbol] where ...
type family WithFieldSet (field :: Symbol) (entKind :: EntityKind) :: EntityKind where ...
type family WithFieldsSet (fields :: [Symbol]) (entKind :: EntityKind) :: EntityKind where ...
type family WithoutMissingField (name :: Symbol) (fs :: [MissingField]) :: [MissingField] where ...
type family WithoutMissingFields (fields :: [Symbol]) (fs :: [MissingField]) :: [MissingField] where ...
type CanInsert entKind table
type family CanInsert' (entKind :: EntityKind) (table :: *) :: Constraint where ...
type CanInsertFresh missing table
type family CanInsertMissing (fs :: [MissingField]) :: Constraint where ...
type CanUpdate table pk
type DbResult list
type Variables ctx list
class TableSetVars ctx tables
data BoolOp
data ResultType
type family Selection (t :: ResultType) :: Constraint where ...
type family SelectionOrSortedSelection (t :: ResultType) :: Constraint where ...
type family CanAggregate (t :: ResultType) :: Constraint where ...
type family CanMap (f :: ResultType) :: Constraint where ...
type FieldIsGettableBool field missing
type FieldIsGettable field missing
type FieldIsNotSet field setFields
type family ListToSimpleTuple (l :: [*]) :: * where ...
type family TupleToList (map :: *) :: [*] where ...
type FlattenTuple t
data DbStatement resultType ts
data GroupStatement group tables
data AM
data AggregateStatement aggr marker
data UpdateExp fields table
data ConditionExp
data ExpressionKind
data DbExp kind a
data SomeDbExp
class Sortable ord
class LiteralCollection collection a
class Groupable group
data GroupMappableThing res am
type family GroupMapResultBase a where ...
class GroupMappableBase map
type family GroupMapResult (map :: *) :: * where ...
class GroupMappable map
type family InterpretAsGroupMap (a :: *) :: Bool where ...
class MappableBase map
class Mappable map
data Avg a
data Count a
data Only a
class AggregatableBase aggr
type family BadAggregateBaseError where ...
type family AggregationResult (aggr :: *) where ...
class Aggregatable aggr
data Max a
data Min a
data Sum a