Presto.Core.Types.Language.Interaction

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

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

Members

• interact :: a -> Interaction (Either err b)

type Interaction s = Free InteractionF s

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

request :: Foreign -> Interaction Foreign

interactConv :: forall err s b a. Interact err a b => a -> (b -> Either err s) -> Interaction (Either err s)

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

data InteractionF next

Constructors

• Request ForeignIn (ForeignOut -> next)

newtype ForeignIn

Constructors

• ForeignIn Foreign

newtype ForeignOut

Constructors

• ForeignOut Foreign