moffy-0.1.1.0: Monadic Functional Reactive Programming

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Moffy.Internal.React.Type

Contents

React
Never and Await
Handle
ThreadId

Synopsis

type React s es = Freer s FTCQueue TaggableFun (Rct es)
data Rct es r where
- Never :: Rct es r
- GetThreadId :: Rct es ThreadId
- Await :: EvReqs es -> Rct es (EvOccs es)
type EvReqs (es :: Set Type) = OneOrMore es
type EvOccs (es :: Set Type) = OneOrMoreApp (Occurred :$: es)
class (Numbered e, Selectable e) => Request e where
- data Occurred e
type ExpandableOccurred es es' = Expandable Occurred es es'
type CollapsableOccurred es es' = Collapsable Occurred es es'
type MergeableOccurred es es' mrg = Mergeable Occurred es es' mrg
never :: React s es a
await :: e -> (Occurred e -> r) -> React s (Singleton e) r
await' :: e -> (ThreadId -> Occurred e -> r) -> React s (Singleton e) r
type Handle m es = EvReqs es -> m (EvOccs es)
type HandleSt st m es = EvReqs es -> St st m (EvOccs es)
type St st m a = st -> m (a, st)
liftHandle :: Functor m => Handle m es -> HandleSt st m es
liftSt :: Functor m => m r -> St st m r
data ThreadId
rootThreadId :: ThreadId
noThreadId :: React s es (ThreadId, ThreadId)
forkThreadId :: React s es (ThreadId, ThreadId)

React

Type React and Data Rct

type React s es = Freer s FTCQueue TaggableFun (Rct es) Source #

data Rct es r where Source #

Constructors

Never :: Rct es r
GetThreadId :: Rct es ThreadId
Await :: EvReqs es -> Rct es (EvOccs es)

type EvReqs (es :: Set Type) = OneOrMore es Source #

type EvOccs (es :: Set Type) = OneOrMoreApp (Occurred :$: es) Source #

Class Request

class (Numbered e, Selectable e) => Request e Source #

Associated Types

data Occurred e Source #

Instances

Instances details

Request GetLock Source #
Instance details Defined in Control.Moffy.Event.Lock.Internal Associated Types data Occurred GetLock Source #
Request NewLockId Source #
Instance details Defined in Control.Moffy.Event.Lock.Internal Associated Types data Occurred NewLockId Source #
Request Unlock Source #
Instance details Defined in Control.Moffy.Event.Lock.Internal Associated Types data Occurred Unlock Source #
Request GetThreadId Source #
Instance details Defined in Control.Moffy.Event.ThreadId Associated Types data Occurred GetThreadId Source #
Request DeltaTime Source #
Instance details Defined in Control.Moffy.Event.Time Associated Types data Occurred DeltaTime Source #
Request TryWait Source #
Instance details Defined in Control.Moffy.Event.Time Associated Types data Occurred TryWait Source #

Constraint Synonym for Data Occurred

type ExpandableOccurred es es' = Expandable Occurred es es' Source #

type CollapsableOccurred es es' = Collapsable Occurred es es' Source #

type MergeableOccurred es es' mrg = Mergeable Occurred es es' mrg Source #

Never and Await

never :: React s es a Source #

await :: e -> (Occurred e -> r) -> React s (Singleton e) r Source #

await' :: e -> (ThreadId -> Occurred e -> r) -> React s (Singleton e) r Source #

Handle

type Handle m es = EvReqs es -> m (EvOccs es) Source #

type HandleSt st m es = EvReqs es -> St st m (EvOccs es) Source #

type St st m a = st -> m (a, st) Source #

liftHandle :: Functor m => Handle m es -> HandleSt st m es Source #

liftSt :: Functor m => m r -> St st m r Source #

ThreadId

data ThreadId Source #

Instances

Instances details

Show ThreadId Source #
Instance details Defined in Control.Moffy.Internal.React.Type Methods showsPrec :: Int -> ThreadId -> ShowS # show :: ThreadId -> String # showList :: [ThreadId] -> ShowS #
Eq ThreadId Source #
Instance details Defined in Control.Moffy.Internal.React.Type Methods (==) :: ThreadId -> ThreadId -> Bool # (/=) :: ThreadId -> ThreadId -> Bool #

rootThreadId :: ThreadId Source #

noThreadId :: React s es (ThreadId, ThreadId) Source #

forkThreadId :: React s es (ThreadId, ThreadId) Source #