Paxl.Fetch

class Fetchable req env eff | req -> env, req -> eff where

Members

• fetch :: env -> (forall a. Array (BlockedFetch req a) -> ParAff eff Unit)

Instances

• (FetchableRows flist frow erow prow eff, RowToList frow flist) => Fetchable (Fetch frow) (Record erow) eff

class FetchableRows flist (frow :: Row Type) erow prow (eff :: Row Effect) | flist -> frow, flist -> erow, flist -> prow, flist -> eff where

Members

• getFetcher :: RLProxy flist -> Record erow -> Record prow

Instances

• FetchableRows Nil () () () eff

data Fetch (fetches :: Row Type) (a :: Type)

Instances

• (FetchableRows flist frow erow prow eff, RowToList frow flist) => Fetchable (Fetch frow) (Record erow) eff

data Req (req :: Type -> Type)

request :: forall r2 r1 a req sym. RowCons sym (Req req) r1 r2 => IsSymbol sym => SProxy sym -> req a -> GenPaxl (Fetch r2) a

requestCached :: forall r2 r1 a req sym. RowCons sym (Req req) r1 r2 => IsSymbol sym => Cacheable req => SProxy sym -> req a -> GenPaxl (Fetch r2) a

completeBlockedFetch :: forall a eff req. BlockedFetch req a -> Result a -> Aff eff Unit

completeBlockedFetchOf :: forall b a eff req. (a ~ b) -> BlockedFetch req a -> Result b -> Aff eff Unit

data Result a

Constructors

• Ok a
• Throw Error

Instances

• Functor Result

newtype Key

Constructors

• Key String

newtype BlockedFetch req a

Constructors

• BlockedFetch { blockedVar :: AVar (Result a), request :: req a }

Instances

• Newtype (BlockedFetch req a) _

class Cacheable req  where

Members

• cacheKey :: forall a. req a -> Key