Presto.Core.Flow

type APIRunner = forall e. Request -> Aff e String

runAPIInteraction :: forall eff. APIRunner -> NaturalTransformation Interaction (Aff eff)

type UIRunner = forall e. String -> Aff (ui :: UI | e) String

data Runtime

Constructors

• Runtime UIRunner PermissionRunner APIRunner

type PermissionTakeRunner = forall e. Array Permission -> Aff (storage :: STORAGE | e) (Array PermissionResponse)

data PermissionRunner

Constructors

• PermissionRunner PermissionCheckRunner PermissionTakeRunner

type PermissionCheckRunner = forall e. Array Permission -> Aff (storage :: STORAGE | e) PermissionStatus

run :: forall eff. Runtime -> NaturalTransformation Flow (InterpreterSt eff)

type Flow a = Free FlowWrapper a

Free monadic language for making flows.

showUI :: forall b a. Interact Error a b => a -> Flow Unit

Runs UI and doesn't return anything useful (equivalent to void <<< runUI). Handles error in runtime.

set :: forall s. Serializable s => Key -> s -> Flow Unit

Serializes a value and puts it into the state.

save :: forall s. Serializable s => Key -> s -> Flow Unit

Serializes a value and puts it into the local storage.

runUI :: forall b a. Interact Error a b => a -> Flow b

Runs UI and returns result of user's interaction with a screen. Handles error in runtime.

oneOf :: forall s. Array (Flow s) -> Flow s

Executes a set of actions and returns when the first one is done

load :: forall s. Serializable s => Key -> Flow (Maybe s)

Gets some data from local storage and deserializes to s if possible.

launch :: Flow Unit -> Flow (Control Unit)

Forks a flow and returns a void control structure.

get :: forall s. Serializable s => Key -> Flow (Maybe s)

Gets some data from state and deserializes to s if possible.

forkUI :: forall b a. Interact Error a b => a -> Flow Unit

Runs UI async, doesn't return anything useful. Handles error in runtime.

fork :: forall s. Flow s -> Flow (Control s)

Forks a flow and returns a control structure for getting results back (like Future).

evalUI :: forall s b a. Interact Error a b => a -> (b -> Either Error s) -> Flow s

Runs UI with a custom converter Handles error in runtime.

doAff :: forall s. (forall eff. AppFlow eff s) -> Flow s

Runs any Aff as part of the flow

delay :: Milliseconds -> Flow Unit

Delays computation for a given number of milliseconds.

callAPI :: forall b a. Encode a => Decode b => RestEndpoint a b => Headers -> a -> Flow (APIResult b)

Call API being authorized.

await' :: forall s. Control s -> Flow Unit

Awaits a forked flow to be completed.

await :: forall s. Control s -> Flow s

Awaits result from a forked flow.

type Interaction s = Free InteractionF s

Free monadic Interaction type. Denotes a request-response interaction.

class (Encode a, Decode b) <= Interact err a b | a -> b, b -> a

Represents a relation between types a (input type) and b (output type).

request :: Foreign -> Interaction Foreign

defaultInteract :: forall b a. Encode a => Decode b => a -> Interaction (Either Error b)

type Key = String

class Serializable a 

Instances

• Serializable String
• Serializable Boolean
• Serializable Int