Module

Supabase.Supabase

Package: purescript-supabase
Repository: i-am-the-slime/purescript-supabase

#Count Source

data Count

Constructors

#CountR Source

type CountR :: Row Type -> Row Typetype CountR r = (count :: Int | r)

#CountResponse Source

type CountResponse t = Record (DataR t) + ErrorR + CountR + StatusR + ()

#DataR Source

type DataR :: Type -> Row Type -> Row Typetype DataR d r = (data :: Maybe d | r)

#ErrorR Source

type ErrorR :: Row Type -> Row Typetype ErrorR r = (error :: Maybe ResultError | r)

#FilterBuilder Source

data FilterBuilder :: Row Type -> Row Type -> Typedata FilterBuilder t0 t1

#OrderOptions Source

type OrderOptions = { ascending :: Boolean, nullsFirst :: Boolean }

#QueryBuilder Source

data QueryBuilder :: Row Type -> Row Type -> Typedata QueryBuilder t0 t1

#Response Source

type Response d = Record (DataR d) + ErrorR + StatusR + ()

#ResultError Source

type ResultError = { code :: Maybe String, details :: Maybe String, message :: String }

#StatusR Source

type StatusR :: Row Type -> Row Typetype StatusR r = (status :: Int | r)

#callRpc Source

callRpc :: forall params result. Rpc params result -> Client -> FilterBuilder result result

#callRpcWith Source

callRpcWith :: forall params result. WriteForeign (Record params) => Rpc params result -> Record params -> Client -> FilterBuilder result result

#contains Source

contains :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#containedBy Source

containedBy :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#FilterType Source

class FilterType colType filterType | colType -> filterType

Instances

FilterType (Maybe a) a
FilterType a a

#csv Source

csv :: forall table result. FilterBuilder table result -> FilterBuilder table result

#delete Source

delete :: forall row rels. QueryBuilder row rels -> FilterBuilder row row

#eq_ Source

eq_ :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#from Source

from :: forall row required rels. Table row required rels -> Client -> QueryBuilder row rels

#gt Source

gt :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#gte Source

gte :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#ilike Source

ilike :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#in_ Source

in_ :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => NonEmptyArray filterType -> FilterBuilder table result -> FilterBuilder table result

#insert Source

insert :: forall row rels @d rest. WriteForeign (Record d) => Union d rest row => Record d -> QueryBuilder row rels -> FilterBuilder row row

#IsValue Source

data IsValue

Constructors

#insertInto Source

insertInto :: forall row required rels @d rest reqRest. WriteForeign (Record d) => Union d rest row => Union required reqRest d => Table row required rels -> Record d -> Client -> FilterBuilder row row

#is Source

is :: forall @col colType table result rest. IsSymbol col => Cons col colType rest table => IsValue -> FilterBuilder table result -> FilterBuilder table result

#like Source

like :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#limit Source

limit :: forall table result. Int -> FilterBuilder table result -> FilterBuilder table result

#lt Source

lt :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#lte Source

lte :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#maybeSingle Source

maybeSingle :: forall table result. ReadForeign (Record result) => FilterBuilder table result -> Aff (Response (Record result))

#maybeSingleWith Source

maybeSingleWith :: forall @t table result. ReadForeign t => FilterBuilder table result -> Aff (Response t)

#neq Source

neq :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#not_ Source

not_ :: forall @col colType table result rest. IsSymbol col => Cons col colType rest table => FilterOp -> FilterBuilder table result -> FilterBuilder table result

#or Source

or :: forall table result. NonEmptyArray (Condition table) -> FilterBuilder table result -> FilterBuilder table result

#order Source

order :: forall @col val table result rest. IsSymbol col => Cons col val rest table => FilterBuilder table result -> FilterBuilder table result

#orderWith Source

orderWith :: forall @col val table result rest. IsSymbol col => Cons col val rest table => OrderOptions -> FilterBuilder table result -> FilterBuilder table result

#overlaps Source

overlaps :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> FilterBuilder table result -> FilterBuilder table result

#range Source

range :: forall table result. ReadForeign (Record result) => { from :: Int, to :: Int } -> FilterBuilder table result -> Aff (Response (Array (Record result)))

#run Source

run :: forall table result. ReadForeign (Record result) => FilterBuilder table result -> Aff (Response (Array (Record result)))

#runWith Source

runWith :: forall @t table result. ReadForeign t => FilterBuilder table result -> Aff (Response t)

#schema Source

schema :: SchemaName -> Client -> Client

#select Source

select :: forall row rels. QueryBuilder row rels -> FilterBuilder row row

#selectColumns Source

selectColumns :: forall @cols row rels result. IsSymbol cols => ParseSelect cols row rels result => QueryBuilder row rels -> FilterBuilder row result

#selectColumnsWithCount Source

selectColumnsWithCount :: forall @cols row rels result. IsSymbol cols => ParseSelect cols row rels result => Count -> QueryBuilder row rels -> FilterBuilder row result

#single Source

single :: forall table result. ReadForeign (Record result) => FilterBuilder table result -> Aff (Response (Record result))

#singleWith Source

singleWith :: forall @t table result. ReadForeign t => FilterBuilder table result -> Aff (Response t)

#textSearch Source

textSearch :: forall @col colType filterType table result rest. IsSymbol col => Cons col colType rest table => FilterType colType filterType => WriteForeign filterType => filterType -> { config :: String, type :: TextSearchType } -> FilterBuilder table result -> FilterBuilder table result

#TextSearchType Source

data TextSearchType

Constructors

#update Source

update :: forall row rels d rest. WriteForeign (Record d) => Union d rest row => Record d -> QueryBuilder row rels -> FilterBuilder row row

#upsert Source

upsert :: forall row rels @d rest. WriteForeign (Record d) => Union d rest row => Record d -> QueryBuilder row rels -> FilterBuilder row row

#upsertWith Source

upsertWith :: forall row rels d rest. WriteForeign (Record d) => Union d rest row => Record d -> UpsertOptions -> QueryBuilder row rels -> FilterBuilder row row

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