RSAGL.FRP.FRPModel

A model of the types used by an FRP program.

Documentation

data Enabled

Instances

Capability Enabled

RSAGL_FRP_FRPMODEL Enabled

data Disabled

Instances

Capability Disabled

RSAGL_FRP_FRPMODEL Disabled

class RSAGL_FRP_FRPMODEL a => Capability a

Instances

Capability Disabled

Capability Enabled

class (RSAGL_FRP_FRPMODEL frp, Eq (ThreadIDOf frp)) => FRPModel frp

Associated Types

type ThreadingOf frp :: *

The threading capability, either Enabled or Disabled.

type ThreadIDOf frp :: *

The a type of the thread ID (for example, a unique integer).

type StateOf frp :: *

The ArrowState type.

type SwitchInputOf frp :: *

The type of the switch input (used in switchTerminate/switchContinue, etc)

type SwitchOutputOf frp :: *

The type of the switch output (used in switchTerminate/switchContinue, etc)

type Unwrap frp :: *

Unwrap to get the nested Switch type.

Instances

FRPModel ()

(RSAGL_FRP_FRPMODEL m, Eq t, Capability k) => FRPModel (Switch k t s i o m)

type FRP1 s i o = Switch Disabled () s i o ()

type FRPX t s i o = FRPContext t i o (FRP1 s i [(t, o)])

type FRPContext t i o m = Switch Enabled t (SubState (StateOf m)) i o m

type FRP1Context i o m = Switch Disabled (ThreadIDOf m) (StateOf m) i o m

data Switch k t s i o m

The FRPModel type that represents a switch. Consists of the following type variables.

Note: Don't pattern-match against this type directly, as it is a volatile interface. Either use a type synonym, such as SimpleSwitch, or match against the type functions in FRPModel.

• k - See, ThreadingOf. * t - See, ThreadIDOf. * s - See, StateOf. * i - See, SwitchInputOf. * o - See, SwitchOutputOf. * m - A variable that represents switch nesting.

Instances

(RSAGL_FRP_FRPMODEL m, Eq t, Capability k) => FRPModel (Switch k t s i o m)

(RSAGL_FRP_FRPMODEL m, Capability k) => RSAGL_FRP_FRPMODEL (Switch k t s i o m)

type SimpleSwitch k t s i o m = Switch k t s i o m