Safe Haskell | Safe-Infered |
---|
A model of the types used by an FRP program.
- data Enabled
- data Disabled
- class RSAGL_FRP_FRPMODEL a => Capability a
- class (RSAGL_FRP_FRPMODEL frp, Eq (ThreadIDOf frp)) => FRPModel frp where
- type ThreadingOf frp :: *
- type ThreadIDOf frp :: *
- type StateOf frp :: *
- type SwitchInputOf frp :: *
- type SwitchOutputOf frp :: *
- type Unwrap frp :: *
- 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
- type SimpleSwitch k t s i o m = Switch k t s i o m
Documentation
Capability Enabled | |
RSAGL_FRP_FRPMODEL Enabled |
Capability Disabled | |
RSAGL_FRP_FRPMODEL Disabled |
class RSAGL_FRP_FRPMODEL a => Capability a Source
class (RSAGL_FRP_FRPMODEL frp, Eq (ThreadIDOf frp)) => FRPModel frp Source
type ThreadingOf frp :: *Source
type ThreadIDOf frp :: *Source
The a type of the thread ID (for example, a unique integer).
The ArrowState
type.
type SwitchInputOf frp :: *Source
The type of the switch input (used in switchTerminate/switchContinue, etc)
type SwitchOutputOf frp :: *Source
The type of the switch output (used in switchTerminate/switchContinue, etc)
Unwrap to get the nested Switch type.
FRPModel () | |
(RSAGL_FRP_FRPMODEL m, Eq t, Capability k) => FRPModel (Switch k t s i o m) |
type FRPX t s i o = FRPContext t i o (FRP1 s i [(t, o)])Source
type FRP1Context i o m = Switch Disabled (ThreadIDOf m) (StateOf m) i o mSource
data Switch k t s i o m Source
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.
(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 mSource