Knit

Documentation

type family Fst a where ...

Equations

Fst '(a, b) = a

type family Snd a where ...

Equations

Snd '(a, b) = b

type TableName = String

type FieldName = String

type FieldValue = String

data Mode

Constructors

Resolved

Unresolved

Done

Instances

(Show u, KnitRecord tables r, GResolve us rs, KnownSymbol table, KnownSymbol field) => GResolve (Named x (ForeignRecordId table field u), us) (Named x (Lazy tables r), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (ForeignRecordId table field u), us) -> (Named x (Lazy tables r), rs)

(Show u, KnitRecord tables r, GResolve us rs, Functor f, KnownSymbol table, KnownSymbol field) => GResolve (Named x (f (ForeignRecordId table field u)), us) (Named x (f (Lazy tables r)), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (ForeignRecordId table field u)), us) -> (Named x (f (Lazy tables r)), rs)

data RecordId t

Constructors

Id t

Remove t

Instances

Generic (RecordId t)

Defined in Knit

Associated Types

type Rep (RecordId t) :: Type -> Type

Methods

from :: RecordId t -> Rep (RecordId t) x

to :: Rep (RecordId t) x -> RecordId t

Show t => Show (RecordId t)

Defined in Knit

Methods

showsPrec :: Int -> RecordId t -> ShowS

show :: RecordId t -> String

showList :: [RecordId t] -> ShowS

NFData t => NFData (RecordId t)

Defined in Knit

Methods

rnf :: RecordId t -> ()

Eq t => Eq (RecordId t)

Defined in Knit

Methods

(==) :: RecordId t -> RecordId t -> Bool

(/=) :: RecordId t -> RecordId t -> Bool

Ord t => Ord (RecordId t)

Defined in Knit

Methods

compare :: RecordId t -> RecordId t -> Ordering

(<) :: RecordId t -> RecordId t -> Bool

(<=) :: RecordId t -> RecordId t -> Bool

(>) :: RecordId t -> RecordId t -> Bool

(>=) :: RecordId t -> RecordId t -> Bool

max :: RecordId t -> RecordId t -> RecordId t

min :: RecordId t -> RecordId t -> RecordId t

(Show t, GGatherIds us, KnownSymbol field) => GGatherIds (Named field (RecordId t), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (RecordId t), us) -> [EId]

(Show t, GGatherIds us, Foldable f, KnownSymbol field) => GGatherIds (Named field (f (RecordId t)), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (f (RecordId t)), us) -> [EId]

GResolve us rs => GResolve (Named x (RecordId u), us) (Named x u, rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (RecordId u), us) -> (Named x u, rs)

(GResolve us rs, Functor f) => GResolve (Named x (f (RecordId u)), us) (Named x (f u), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (RecordId u)), us) -> (Named x (f u), rs)

type Rep (RecordId t)

Defined in Knit

type Rep (RecordId t) = D1 ('MetaData "RecordId" "Knit" "knit-0.4.0.0-EsePURBTfZZ3w9ttWsAB7P" 'False) (C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t)) :+: C1 ('MetaCons "Remove" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t)))

type family Id (tables :: Mode -> *) (recordMode :: Mode) t where ...

Equations

Id tables 'Done t = RecordId t

Id tables 'Resolved t = t

Id tables 'Unresolved t = RecordId t

data Lazy tables a

Constructors

Lazy

Fields

• get :: a tables 'Resolved

Instances

(Show u, KnitRecord tables r, GResolve us rs, KnownSymbol table, KnownSymbol field) => GResolve (Named x (ForeignRecordId table field u), us) (Named x (Lazy tables r), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (ForeignRecordId table field u), us) -> (Named x (Lazy tables r), rs)

(Show u, KnitRecord tables r, GResolve us rs, Functor f, KnownSymbol table, KnownSymbol field) => GResolve (Named x (f (ForeignRecordId table field u)), us) (Named x (f (Lazy tables r)), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (ForeignRecordId table field u)), us) -> (Named x (f (Lazy tables r)), rs)

Show (Lazy tables a)

Defined in Knit

Methods

showsPrec :: Int -> Lazy tables a -> ShowS

show :: Lazy tables a -> String

showList :: [Lazy tables a] -> ShowS

newtype ForeignRecordId (table :: Symbol) (field :: Symbol) t

Constructors

ForeignId t

Instances

(Show t, GGatherIds us, KnownSymbol table, KnownSymbol field) => GGatherIds (Named field' (ForeignRecordId table field t), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field' (ForeignRecordId table field t), us) -> [EId]

(Show t, GGatherIds us, Foldable f, KnownSymbol table, KnownSymbol field) => GGatherIds (Named field' (f (ForeignRecordId table field t)), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field' (f (ForeignRecordId table field t)), us) -> [EId]

(Show u, KnitRecord tables r, GResolve us rs, KnownSymbol table, KnownSymbol field) => GResolve (Named x (ForeignRecordId table field u), us) (Named x (Lazy tables r), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (ForeignRecordId table field u), us) -> (Named x (Lazy tables r), rs)

(Show u, KnitRecord tables r, GResolve us rs, Functor f, KnownSymbol table, KnownSymbol field) => GResolve (Named x (f (ForeignRecordId table field u)), us) (Named x (f (Lazy tables r)), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (ForeignRecordId table field u)), us) -> (Named x (f (Lazy tables r)), rs)

Generic (ForeignRecordId table field t)

Defined in Knit

Associated Types

type Rep (ForeignRecordId table field t) :: Type -> Type

Methods

from :: ForeignRecordId table field t -> Rep (ForeignRecordId table field t) x

to :: Rep (ForeignRecordId table field t) x -> ForeignRecordId table field t

Num t => Num (ForeignRecordId table field t)

Defined in Knit

Methods

(+) :: ForeignRecordId table field t -> ForeignRecordId table field t -> ForeignRecordId table field t

(-) :: ForeignRecordId table field t -> ForeignRecordId table field t -> ForeignRecordId table field t

(*) :: ForeignRecordId table field t -> ForeignRecordId table field t -> ForeignRecordId table field t

negate :: ForeignRecordId table field t -> ForeignRecordId table field t

abs :: ForeignRecordId table field t -> ForeignRecordId table field t

signum :: ForeignRecordId table field t -> ForeignRecordId table field t

fromInteger :: Integer -> ForeignRecordId table field t

Show t => Show (ForeignRecordId table field t)

Defined in Knit

Methods

showsPrec :: Int -> ForeignRecordId table field t -> ShowS

show :: ForeignRecordId table field t -> String

showList :: [ForeignRecordId table field t] -> ShowS

NFData t => NFData (ForeignRecordId table field t)

Defined in Knit

Methods

rnf :: ForeignRecordId table field t -> ()

Eq t => Eq (ForeignRecordId table field t)

Defined in Knit

Methods

(==) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

(/=) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

Ord t => Ord (ForeignRecordId table field t)

Defined in Knit

Methods

compare :: ForeignRecordId table field t -> ForeignRecordId table field t -> Ordering

(<) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

(<=) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

(>) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

(>=) :: ForeignRecordId table field t -> ForeignRecordId table field t -> Bool

max :: ForeignRecordId table field t -> ForeignRecordId table field t -> ForeignRecordId table field t

min :: ForeignRecordId table field t -> ForeignRecordId table field t -> ForeignRecordId table field t

type Rep (ForeignRecordId table field t)

Defined in Knit

type Rep (ForeignRecordId table field t) = D1 ('MetaData "ForeignRecordId" "Knit" "knit-0.4.0.0-EsePURBTfZZ3w9ttWsAB7P" 'True) (C1 ('MetaCons "ForeignId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t)))

type family ForeignId (tables :: Mode -> *) (recordMode :: Mode) (table :: Symbol) (field :: Symbol) where ...

Equations

ForeignId tables 'Done table field = ()

ForeignId tables 'Unresolved table field = ForeignRecordId table field (LookupFieldType field (Snd (LookupTableType table (Eot (tables 'Unresolved)))))

ForeignId tables 'Resolved table field = Lazy tables (Fst (LookupTableType table (Eot (tables 'Resolved))))

data EId

Constructors

forall t.Show t => EId TableName FieldName t Dynamic

forall t.Show t => ERemove TableName FieldName t Dynamic

forall t.Show t => EForeignId TableName FieldName t

Instances

Show EId

Defined in Knit

Methods

showsPrec :: Int -> EId -> ShowS

show :: EId -> String

showList :: [EId] -> ShowS

newtype Dynamic

Constructors

Dynamic ()

Instances

Show Dynamic

Defined in Knit

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

toDynamic :: a -> Dynamic

fromDynamic :: Dynamic -> a

class GGatherIds u where

Methods

gGatherIds :: TableName -> Dynamic -> u -> [EId]

Instances

GGatherIds Void

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> Void -> [EId]

GGatherIds ()

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> () -> [EId]

(GGatherIds u, GGatherIds v) => GGatherIds (Either u v)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> Either u v -> [EId]

(Show t, GGatherIds us, KnownSymbol field) => GGatherIds (Named field (RecordId t), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (RecordId t), us) -> [EId]

(Show t, GGatherIds us, Foldable f, KnownSymbol field) => GGatherIds (Named field (f (RecordId t)), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (f (RecordId t)), us) -> [EId]

(GGatherIds us, Foldable f, KnitRecord tables r) => GGatherIds (Named field (f (r tables 'Unresolved)), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (f (r tables 'Unresolved)), us) -> [EId]

(GGatherIds us, KnitRecord tables r) => GGatherIds (Named field (r tables 'Unresolved), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field (r tables 'Unresolved), us) -> [EId]

GGatherIds us => GGatherIds (Named field u, us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field u, us) -> [EId]

(Show t, GGatherIds us, KnownSymbol table, KnownSymbol field) => GGatherIds (Named field' (ForeignRecordId table field t), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field' (ForeignRecordId table field t), us) -> [EId]

(Show t, GGatherIds us, Foldable f, KnownSymbol table, KnownSymbol field) => GGatherIds (Named field' (f (ForeignRecordId table field t)), us)

Defined in Knit

Methods

gGatherIds :: TableName -> Dynamic -> (Named field' (f (ForeignRecordId table field t)), us) -> [EId]

class GGatherTableIds t where

Methods

gGatherTableIds :: t -> [(TableName, [[EId]])]

Instances

GGatherTableIds Void

Defined in Knit

Methods

gGatherTableIds :: Void -> [(TableName, [[EId]])]

GGatherTableIds ()

Defined in Knit

Methods

gGatherTableIds :: () -> [(TableName, [[EId]])]

(GGatherTableIds t, GGatherTableIds u) => GGatherTableIds (Either t u)

Defined in Knit

Methods

gGatherTableIds :: Either t u -> [(TableName, [[EId]])]

(GGatherTableIds ts, KnitRecord tables r, KnownSymbol table) => GGatherTableIds (Named table [r tables 'Unresolved], ts)

Defined in Knit

Methods

gGatherTableIds :: (Named table [r tables 'Unresolved], ts) -> [(TableName, [[EId]])]

(GGatherTableIds ts, KnownSymbol table) => GGatherTableIds (Named table a, ts)

Defined in Knit

Methods

gGatherTableIds :: (Named table a, ts) -> [(TableName, [[EId]])]

data ResolveError

Constructors

MissingIds [(TableName, FieldName, FieldValue)]

RepeatingIds [(TableName, FieldName, FieldValue)]

Instances

Generic ResolveError

Defined in Knit

Associated Types

type Rep ResolveError :: Type -> Type

Methods

from :: ResolveError -> Rep ResolveError x

to :: Rep ResolveError x -> ResolveError

Show ResolveError

Defined in Knit

Methods

showsPrec :: Int -> ResolveError -> ShowS

show :: ResolveError -> String

showList :: [ResolveError] -> ShowS

NFData ResolveError

Defined in Knit

Methods

rnf :: ResolveError -> ()

Eq ResolveError

Defined in Knit

Methods

(==) :: ResolveError -> ResolveError -> Bool

(/=) :: ResolveError -> ResolveError -> Bool

Ord ResolveError

Defined in Knit

Methods

compare :: ResolveError -> ResolveError -> Ordering

(<) :: ResolveError -> ResolveError -> Bool

(<=) :: ResolveError -> ResolveError -> Bool

(>) :: ResolveError -> ResolveError -> Bool

(>=) :: ResolveError -> ResolveError -> Bool

max :: ResolveError -> ResolveError -> ResolveError

min :: ResolveError -> ResolveError -> ResolveError

type Rep ResolveError

Defined in Knit

type Rep ResolveError = D1 ('MetaData "ResolveError" "Knit" "knit-0.4.0.0-EsePURBTfZZ3w9ttWsAB7P" 'False) (C1 ('MetaCons "MissingIds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(TableName, FieldName, FieldValue)])) :+: C1 ('MetaCons "RepeatingIds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(TableName, FieldName, FieldValue)])))

class GResolve u r where

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> u -> r

Instances

GResolve Void Void

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> Void -> Void

GResolve () ()

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> () -> ()

(GResolve u r, GResolve t s) => GResolve (Either u t) (Either r s)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> Either u t -> Either r s

(Show u, KnitRecord tables r, GResolve us rs, KnownSymbol table, KnownSymbol field) => GResolve (Named x (ForeignRecordId table field u), us) (Named x (Lazy tables r), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (ForeignRecordId table field u), us) -> (Named x (Lazy tables r), rs)

GResolve us rs => GResolve (Named x (RecordId u), us) (Named x u, rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (RecordId u), us) -> (Named x u, rs)

(Show u, KnitRecord tables r, GResolve us rs, Functor f, KnownSymbol table, KnownSymbol field) => GResolve (Named x (f (ForeignRecordId table field u)), us) (Named x (f (Lazy tables r)), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (ForeignRecordId table field u)), us) -> (Named x (f (Lazy tables r)), rs)

(GResolve us rs, Functor f) => GResolve (Named x (f (RecordId u)), us) (Named x (f u), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (RecordId u)), us) -> (Named x (f u), rs)

(KnitRecord tables r, GResolve us rs, Functor f) => GResolve (Named x (f (r tables 'Unresolved)), us) (Named x (f (r tables 'Resolved)), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (f (r tables 'Unresolved)), us) -> (Named x (f (r tables 'Resolved)), rs)

(KnitRecord tables r, GResolve us rs) => GResolve (Named x (r tables 'Unresolved), us) (Named x (r tables 'Resolved), rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x (r tables 'Unresolved), us) -> (Named x (r tables 'Resolved), rs)

GResolve us rs => GResolve (Named x u, us) (Named x u, rs)

Defined in Knit

Methods

gResolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named x u, us) -> (Named x u, rs)

class GResolveTables u t where

Methods

gResolveTables :: [[Bool]] -> (TableName -> FieldName -> FieldValue -> Dynamic) -> u -> t

Instances

GResolveTables () ()

Defined in Knit

Methods

gResolveTables :: [[Bool]] -> (TableName -> FieldName -> FieldValue -> Dynamic) -> () -> ()

GResolveTables u t => GResolveTables (Either u Void) (Either t Void)

Defined in Knit

Methods

gResolveTables :: [[Bool]] -> (TableName -> FieldName -> FieldValue -> Dynamic) -> Either u Void -> Either t Void

(GResolveTables us ts, KnitRecord tables t) => GResolveTables (Named table [t tables 'Unresolved], us) (Named table [t tables 'Resolved], ts)

Defined in Knit

Methods

gResolveTables :: [[Bool]] -> (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named table [t tables 'Unresolved], us) -> (Named table [t tables 'Resolved], ts)

GResolveTables us ts => GResolveTables (Named table a, us) (Named table a, ts)

Defined in Knit

Methods

gResolveTables :: [[Bool]] -> (TableName -> FieldName -> FieldValue -> Dynamic) -> (Named table a, us) -> (Named table a, ts)

class KnitRecord (tables :: Mode -> *) u where

Minimal complete definition

Nothing

Methods

resolve :: (TableName -> FieldName -> FieldValue -> Dynamic) -> u tables 'Unresolved -> u tables 'Resolved

default resolve :: HasEot (u tables 'Unresolved) => HasEot (u tables 'Resolved) => GResolve (Eot (u tables 'Unresolved)) (Eot (u tables 'Resolved)) => (TableName -> FieldName -> FieldValue -> Dynamic) -> u tables 'Unresolved -> u tables 'Resolved

gatherIds :: TableName -> Dynamic -> u tables 'Unresolved -> [EId]

default gatherIds :: HasEot (u tables 'Unresolved) => GGatherIds (Eot (u tables 'Unresolved)) => TableName -> Dynamic -> u tables 'Unresolved -> [EId]

class KnitTables t where

Minimal complete definition

Nothing

Methods

resolveTables :: (TableName -> FieldName -> FieldValue -> Dynamic) -> t 'Unresolved -> Either ResolveError (t 'Resolved)

default resolveTables :: HasEot (t 'Unresolved) => HasEot (t 'Resolved) => GResolveTables (Eot (t 'Unresolved)) (Eot (t 'Resolved)) => KnitTables t => (TableName -> FieldName -> FieldValue -> Dynamic) -> t 'Unresolved -> Either ResolveError (t 'Resolved)

gatherTableIds :: t 'Unresolved -> [(TableName, [[EId]])]

default gatherTableIds :: HasEot (t 'Unresolved) => GGatherTableIds (Eot (t 'Unresolved)) => t 'Unresolved -> [(TableName, [[EId]])]

type family ExpandRecord (parent :: Symbol) (record :: *) where ...

Equations

ExpandRecord parent () = ()

ExpandRecord parent (Either fields Void) = ExpandRecord parent fields

ExpandRecord parent (Named name (RecordId a), fields) = (Named name a, ExpandRecord parent fields)

ExpandRecord parent (Named name (f (RecordId a)), fields) = (Named name (f a), ExpandRecord parent fields)

ExpandRecord parent (a, fields) = ExpandRecord parent fields

type family LookupTableType (table :: Symbol) (eot :: *) :: ((Mode -> *) -> Mode -> *, *) where ...

Equations

LookupTableType name (Either records Void) = LookupTableType name records

LookupTableType name (Named name [record tables recordMode], records) = '(record, ExpandRecord name (Eot (record tables 'Done)))

LookupTableType name (Named otherName a, records) = LookupTableType name records

LookupTableType name eot = TypeError ('Text "Can't lookup table type")

type family LookupFieldType (field :: Symbol) (eot :: *) :: * where ...

Equations

LookupFieldType name (Either records Void) = LookupFieldType name records

LookupFieldType name (Named name (Maybe field), fields) = field

LookupFieldType name (Named name field, fields) = field

LookupFieldType name (Named otherName field, fields) = LookupFieldType name fields

LookupFieldType name eot = TypeError ('Text "Can't lookup field type")

type family Table (tables :: Mode -> *) (c :: Mode) table where ...

Equations

Table tables r table = [table tables r]

knit :: KnitTables t => t 'Unresolved -> Either ResolveError (t 'Resolved)