Yoga.BetterAuth.Om

type DatabaseL :: Row Type -> Row Typetype DatabaseL r = (database :: Database | r)

type BetterAuthL :: Row Type -> Row Typetype BetterAuthL r = (auth :: Auth | r)

type AuthClientL :: Row Type -> Row Typetype AuthClientL r = (authClient :: AuthClient | r)

testStackLive :: forall opts opts_. Lacks "database" opts => Union opts opts_ BetterAuthOptionsImpl => { baseURL :: String, betterAuthConfig :: Record opts, connectionString :: String } -> OmLayer (scope :: Scope) () { auth :: Auth, authClient :: AuthClient, database :: Database }

testClientLive' :: forall r. String -> OmLayer (auth :: Auth | r) () { authClient :: AuthClient }

testClientLive :: forall r. OmLayer (auth :: Auth, baseURL :: String | r) () { authClient :: AuthClient }

migrationsLive :: forall r. OmLayer (auth :: Auth | r) () (Record ())

databaseLive' :: String -> OmLayer (scope :: Scope) () { database :: Database }

databaseLive :: forall r. OmLayer (connectionString :: String, scope :: Scope | r) () { database :: Database }

browserClientLive :: forall r. OmLayer (baseURL :: String | r) () { authClient :: AuthClient }

betterAuthLive' :: forall r opts opts_. Lacks "database" opts => Union opts opts_ BetterAuthOptionsImpl => Record opts -> OmLayer (database :: Database | r) () { auth :: Auth }

betterAuthLive :: forall r opts opts_. Lacks "database" opts => Union opts opts_ BetterAuthOptionsImpl => OmLayer (betterAuthConfig :: Record opts, database :: Database | r) () { auth :: Auth }

authFullLive :: forall opts opts_. Lacks "database" opts => Union opts opts_ BetterAuthOptionsImpl => { betterAuthConfig :: Record opts, connectionString :: String } -> OmLayer (scope :: Scope) () { auth :: Auth, database :: Database }

newtype UserName

Constructors

• UserName String

Instances

• Newtype UserName _
• Eq UserName
• Show UserName

newtype UserId

Constructors

• UserId String

Instances

• Newtype UserId _
• Eq UserId
• Show UserId

type User = { createdAt :: ISODateString, email :: Email, emailVerified :: Boolean, id :: UserId, image :: Maybe String, name :: UserName, updatedAt :: ISODateString }

newtype Token

Constructors

• Token String

Instances

• Newtype Token _
• Eq Token
• Show Token

type SignUpResult = { token :: Token, user :: User }

type SignInResult = { redirect :: Boolean, token :: Token, user :: User }

type SessionWithUser = { session :: Session, user :: User }

newtype SessionId

Constructors

• SessionId String

Instances

• Newtype SessionId _
• Eq SessionId
• Show SessionId

type Session = { createdAt :: ISODateString, expiresAt :: ISODateString, id :: SessionId, ipAddress :: Maybe String, token :: Token, updatedAt :: ISODateString, userAgent :: Maybe String, userId :: UserId }

newtype Password

Constructors

• Password String

Instances

• Newtype Password _
• Eq Password

newtype ISODateString

Constructors

• ISODateString String

Instances

• Newtype ISODateString _
• Eq ISODateString
• Show ISODateString

newtype Email

Constructors

• Email String

Instances

• Newtype Email _
• Eq Email
• Show Email

type ClientUser = { createdAt :: JSDate, email :: Email, emailVerified :: Boolean, id :: UserId, image :: Maybe String, name :: UserName, updatedAt :: JSDate }

type ClientSignUpResult = { token :: Maybe Token, user :: ClientUser }

type ClientSignInResult = { redirect :: Boolean, token :: Token, user :: ClientUser }

type ClientSessionWithUser = { session :: ClientSession, user :: ClientUser }

type ClientSession = { createdAt :: JSDate, expiresAt :: JSDate, id :: SessionId, ipAddress :: Maybe String, token :: Token, updatedAt :: JSDate, userAgent :: Maybe String, userId :: UserId }

type ClientError = { message :: String, status :: Int, statusText :: String }

data AuthClient

data Auth

type Account = { accessToken :: Maybe Token, accountId :: String, createdAt :: ISODateString, id :: String, idToken :: Maybe Token, providerId :: String, refreshToken :: Maybe Token, scope :: Maybe String, updatedAt :: ISODateString, userId :: UserId }

newtype Scope

A first-class representation of resource lifetime and memoization. Finalizers are registered via acquireRelease and run in reverse order when the scope is closed. Layers are automatically memoized by identity within a scope — the same layer value builds only once.

Instances

• FilterScope (Cons "scope" Scope tail) tail

data OmLayer :: Row Type -> Row Type -> Type -> Typedata OmLayer req err a

A layer that requires dependencies (req), may fail with (err), and produces a value (typically Record prov). Each layer has a unique identity used for automatic memoization within a Scope.

Instances

• Functor (OmLayer req err)
• Apply (OmLayer req err)
• Applicative (OmLayer req err)
• Bind (OmLayer req err)
• Monad (OmLayer req err)
• Parallel (ParOmLayer req err) (OmLayer req err)
• (RowToList req reqRL, AllLabelsIn reqRL available isReady, FindReadyDispatch isReady sym (OmLayer req err (Record prov)) tail available allLayersRL foundSym foundLayer rest) => FindReady (Cons sym (OmLayer req err (Record prov)) tail) available allLayersRL foundSym foundLayer rest
• (RowToList prov provRL, HasLabel label provRL hasIt, FindProviderMatch hasIt label sym (Cons sym (OmLayer req err (Record prov)) tail) provider) => FindProvider label (Cons sym (OmLayer req err (Record prov)) tail) provider
• (RowToList req reqRL, FilterScope reqRL filteredReqRL, EmitEdges sym filteredReqRL allLayers edgeDoc, PrintEdgesRL tail allLayers restDoc) => PrintEdgesRL (Cons sym (OmLayer req err (Record prov)) tail) allLayers (Above edgeDoc restDoc)
• (RowToList req reqRL) => FindLayerReqs sym (Cons sym (OmLayer req err (Record prov)) tail) reqRL
• (RowToList req reqRL, FilterScope reqRL filteredReqRL, RowToList prov provRL, FirstProvLabel provRL displayName, HasDirectMissing filteredReqRL allLayers hasMissing, PrintLayerDispatch hasMissing displayName filteredReqRL tail allLayers doc) => PrintEdgesASCII (Cons sym (OmLayer req err (Record prov)) tail) allLayers doc

withScopedWith :: forall prov a r rl err_ err. RowToList (exception :: Error -> Aff (Record prov) | r) rl => VariantMatchCases rl err_ (Aff (Record prov)) => Union err_ () (exception :: Error | err) => { exception :: Error -> Aff (Record prov) | r } -> OmLayer (scope :: Scope) err (Record prov) -> (Record prov -> Aff a) -> Aff a

Like withScoped but accepts error handlers for layers with typed errors.

withScoped :: forall prov a. OmLayer (scope :: Scope) () (Record prov) -> (Record prov -> Aff a) -> Aff a

Build a fully-provided scoped layer and pass the provisions to a callback. A fresh Scope is created and closed when the callback completes, running all finalizers in reverse order — whether by success, failure, or interruption. For layers with typed errors, use withScopedWith.

wireLayers :: forall layers rl req err prov. RowToList layers rl => TopoWire rl layers (scope :: Scope) () () req err prov => Record layers -> OmLayer req err (Record prov)

runScopedWith :: forall prov r rl err_ err. RowToList (exception :: Error -> Aff (Record prov) | r) rl => VariantMatchCases rl err_ (Aff (Record prov)) => Union err_ () (exception :: Error | err) => { exception :: Error -> Aff (Record prov) | r } -> OmLayer (scope :: Scope) err (Record prov) -> Aff (Record prov)

Like runScoped but accepts error handlers for layers with typed errors.

runScoped :: forall prov. OmLayer (scope :: Scope) () (Record prov) -> Aff (Record prov)

Build a fully-provided scoped layer, return the provisions. All finalizers run after the provisions are returned. For layers with typed errors, use runScopedWith.

Operator alias for Yoga.Om.Layer.provide (left-associative / precedence 9)