Module
Supabase.Select
- Package
- purescript-supabase
- Repository
- i-am-the-slime/purescript-supabase
#ParseSelect Source
class ParseSelect :: Symbol -> Row Type -> Row Type -> Row Type -> Constraintclass ParseSelect sym row rels result | sym row rels -> result
Instances
ParseSelect "" row rels ()(Cons h t sym, ParseSelectGo h t "" row rels Nil outRL, ListToRow outRL result) => ParseSelect sym row rels result
#ParseSelectGo Source
class ParseSelectGo :: Symbol -> Symbol -> Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Constraintclass ParseSelectGo head tail acc row rels accRL outRL | head tail acc row rels accRL -> outRL
Instances
(RowToList row rl, ListToRow rl result, RowToList result resultRL, SkipRest tail) => ParseSelectGo "*" tail acc row rels accRL resultRL(ResolveRelation acc rels relatedRow relatedRels, ParseRelationColumns tail relatedRow relatedRels innerRL rest, ListToRow innerRL innerRow, ParseSelectAfterRelation rest row rels (Cons acc (Array (Record innerRow)) accRL) outRL) => ParseSelectGo "(" tail acc row rels accRL outRL(ResolveColumn acc row typ, SkipSpaces tail rest, ParseSelectContinue rest row rels (Cons acc typ accRL) outRL) => ParseSelectGo "," tail acc row rels accRL outRL(ResolveColumn acc row typ, SkipSpaces tail rest, ParseSelectAfterCol rest row rels (Cons acc typ accRL) outRL) => ParseSelectGo " " tail acc row rels accRL outRL(Append acc h acc', ResolveColumn acc' row typ) => ParseSelectGo h "" acc row rels accRL (Cons acc' typ accRL)(Append acc h acc', Cons nextH nextT tail, ParseSelectGo nextH nextT acc' row rels accRL outRL) => ParseSelectGo h tail acc row rels accRL outRL
#ParseSelectAfterCol Source
class ParseSelectAfterCol :: Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Constraintclass ParseSelectAfterCol sym row rels accRL outRL | sym row rels accRL -> outRL
Instances
ParseSelectAfterCol "" row rels accRL accRL(SkipSpaces tail rest, ParseSelectContinue rest row rels accRL outRL) => ParseSelectAfterCol sym row rels accRL outRL
#ParseSelectAfterRelation Source
class ParseSelectAfterRelation :: Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Constraintclass ParseSelectAfterRelation sym row rels accRL outRL | sym row rels accRL -> outRL
Instances
ParseSelectAfterRelation "" row rels accRL accRL(Cons h t sym, ParseSelectAfterRelationGo h t row rels accRL outRL) => ParseSelectAfterRelation sym row rels accRL outRL
#ParseSelectAfterRelationGo Source
class ParseSelectAfterRelationGo :: Symbol -> Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Constraintclass ParseSelectAfterRelationGo head tail row rels accRL outRL | head tail row rels accRL -> outRL
Instances
(SkipSpaces tail rest, ParseSelectContinue rest row rels accRL outRL) => ParseSelectAfterRelationGo "," tail row rels accRL outRL(SkipSpaces tail rest, ParseSelectAfterRelation rest row rels accRL outRL) => ParseSelectAfterRelationGo " " tail row rels accRL outRL
#ParseSelectContinue Source
class ParseSelectContinue :: Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Constraintclass ParseSelectContinue sym row rels accRL outRL | sym row rels accRL -> outRL
Instances
ParseSelectContinue "" row rels accRL accRL(Cons h t sym, ParseSelectGo h t "" row rels accRL outRL) => ParseSelectContinue sym row rels accRL outRL
#ParseRelationColumns Source
class ParseRelationColumns :: Symbol -> Row Type -> Row Type -> RowList Type -> Symbol -> Constraintclass ParseRelationColumns sym row rels outRL rest | sym row rels -> outRL rest
Instances
(SkipSpaces sym trimmed, Cons h t trimmed, ParseRelColsGo h t "" row rels Nil outRL rest) => ParseRelationColumns sym row rels outRL rest
#ParseRelColsGo Source
class ParseRelColsGo :: Symbol -> Symbol -> Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseRelColsGo head tail acc row rels accRL outRL rest | head tail acc row rels accRL -> outRL rest
Instances
(ResolveColumn acc row typ) => ParseRelColsGo ")" tail acc row rels accRL (Cons acc typ accRL) tail(ResolveRelation acc rels nestedRow nestedRels, ParseRelationColumns tail nestedRow nestedRels innerRL rest1, ListToRow innerRL innerRow, ParseRelColsAfterNested rest1 row rels (Cons acc (Array (Record innerRow)) accRL) outRL rest) => ParseRelColsGo "(" tail acc row rels accRL outRL rest(ResolveColumn acc row typ, SkipSpaces tail trimmed, Cons nextH nextT trimmed, ParseRelColsGo nextH nextT "" row rels (Cons acc typ accRL) outRL rest) => ParseRelColsGo "," tail acc row rels accRL outRL rest(ResolveColumn acc row typ, SkipSpaces tail trimmed, Cons nextH nextT trimmed, ParseRelColsAfterSpace nextH nextT row rels (Cons acc typ accRL) outRL rest) => ParseRelColsGo " " tail acc row rels accRL outRL rest(Append acc h acc', ResolveColumn acc' row typ) => ParseRelColsGo h "" acc row rels accRL (Cons acc' typ accRL) ""(Append acc h acc', Cons nextH nextT tail, ParseRelColsGo nextH nextT acc' row rels accRL outRL rest) => ParseRelColsGo h tail acc row rels accRL outRL rest
#ParseRelColsAfterNested Source
class ParseRelColsAfterNested :: Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseRelColsAfterNested sym row rels accRL outRL rest | sym row rels accRL -> outRL rest
Instances
ParseRelColsAfterNested "" row rels accRL accRL ""(Cons h t sym, ParseRelColsAfterNestedGo h t row rels accRL outRL rest) => ParseRelColsAfterNested sym row rels accRL outRL rest
#ParseRelColsAfterNestedGo Source
class ParseRelColsAfterNestedGo :: Symbol -> Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseRelColsAfterNestedGo head tail row rels accRL outRL rest | head tail row rels accRL -> outRL rest
Instances
ParseRelColsAfterNestedGo ")" tail row rels accRL accRL tail(SkipSpaces tail trimmed, Cons nextH nextT trimmed, ParseRelColsGo nextH nextT "" row rels accRL outRL rest) => ParseRelColsAfterNestedGo "," tail row rels accRL outRL rest(SkipSpaces tail rest, ParseRelColsAfterNested rest row rels accRL outRL rest2) => ParseRelColsAfterNestedGo " " tail row rels accRL outRL rest2
#ParseRelColsAfterSpace Source
class ParseRelColsAfterSpace :: Symbol -> Symbol -> Row Type -> Row Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseRelColsAfterSpace head tail row rels accRL outRL rest | head tail row rels accRL -> outRL rest
Instances
ParseRelColsAfterSpace ")" tail row rels accRL accRL tail(SkipSpaces tail trimmed, Cons nextH nextT trimmed, ParseRelColsGo nextH nextT "" row rels accRL outRL rest) => ParseRelColsAfterSpace "," tail row rels accRL outRL rest
#SkipSpaces Source
class SkipSpaces :: Symbol -> Symbol -> Constraintclass SkipSpaces sym result | sym -> result
Instances
SkipSpaces "" ""(Cons h t sym, SkipSpacesGo h t result) => SkipSpaces sym result
#SkipSpacesGo Source
class SkipSpacesGo :: Symbol -> Symbol -> Symbol -> Constraintclass SkipSpacesGo head tail result | head tail -> result
Instances
(SkipSpaces tail result) => SkipSpacesGo " " tail result(Cons head tail result) => SkipSpacesGo head tail result
#ResolveColumn Source
class ResolveColumn :: Symbol -> Row Type -> Type -> Constraintclass ResolveColumn col row typ | col row -> typ
Instances
#ResolveRelation Source
class ResolveRelation :: Symbol -> Row Type -> Row Type -> Row Type -> Constraintclass ResolveRelation name rels relatedRow relatedRels | name rels -> relatedRow relatedRels
Instances
- Modules
- Codegen
- LSP.
Context - LSP.
SchemaParser - LSP.
Server - Supabase
- Supabase.
Auth - Supabase.
Auth. Types - Supabase.
AuthHelpers - Supabase.
Filter - Supabase.
Realtime - Supabase.
Realtime. ListenType - Supabase.
Realtime. SubscribeStates - Supabase.
SSR - Supabase.
Select - Supabase.
Storage - Supabase.
Supabase - Supabase.
Types - Supabase.
UUID - Supabase.
Util