Safe Haskell	None
Language	Haskell2010

Control.Moffy.Internal.React.Type

Contents

React
Never and Await
Handle
ThreadId

Synopsis

type React s (es :: Set Type) = Freer s FTCQueue TaggableFun (Rct es)
data Rct (es :: Set Type) r where
- Never :: forall (es :: Set Type) r. Rct es r
- GetThreadId :: forall (es :: Set Type). Rct es ThreadId
- Await :: forall (es :: Set Type). EvReqs es -> Rct es (OneOrMoreApp (Occurred :$: 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 :: Set Type) (es' :: Set Type) = Expandable Occurred es es'
type CollapsableOccurred (es :: Set Type) (es' :: Set Type) = Collapsable Occurred es es'
type MergeableOccurred (es :: Set Type) (es' :: Set Type) (mrg :: Set Type) = Mergeable Occurred es es' mrg
never :: forall s (es :: Set Type) a. 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 :: Type -> Type) (es :: Set Type) = EvReqs es -> m (EvOccs es)
type HandleSt st (m :: Type -> Type) (es :: Set Type) = EvReqs es -> St st m (EvOccs es)
type St st (m :: Type -> Type) a = st -> m (a, st)
liftHandle :: forall m (es :: Set Type) st. Functor m => Handle m es -> HandleSt st m es
liftSt :: Functor m => m r -> St st m r
data ThreadId
rootThreadId :: ThreadId
noThreadId :: forall s (es :: Set Type). React s es (ThreadId, ThreadId)
forkThreadId :: forall s (es :: Set Type). React s es (ThreadId, ThreadId)

React

Type React and Data Rct

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

data Rct (es :: Set Type) r where Source #

Constructors

Never :: forall (es :: Set Type) r. Rct es r
GetThreadId :: forall (es :: Set Type). Rct es ThreadId
Await :: forall (es :: Set Type). EvReqs es -> Rct es (OneOrMoreApp (Occurred :$: 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
Instance details Defined in Control.Moffy.Event.Lock.Internal data Occurred GetLock = OccGetLock LockId ThreadId

Request NewLockId Source #

Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred NewLockId
Instance details Defined in Control.Moffy.Event.Lock.Internal data Occurred NewLockId = OccNewLockId LockId ThreadId

Request Unlock Source #

Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred Unlock
Instance details Defined in Control.Moffy.Event.Lock.Internal data Occurred Unlock = OccUnlock

Request GetThreadId Source #

Instance details

Defined in Control.Moffy.Event.ThreadId

Associated Types

data Occurred GetThreadId
Instance details Defined in Control.Moffy.Event.ThreadId data Occurred GetThreadId = OccGetThreadId

Request DeltaTime Source #

Instance details

Defined in Control.Moffy.Event.Time

Associated Types

data Occurred DeltaTime
Instance details Defined in Control.Moffy.Event.Time data Occurred DeltaTime = OccDeltaTime DiffTime

Request TryWait Source #

Instance details

Defined in Control.Moffy.Event.Time

Associated Types

data Occurred TryWait
Instance details Defined in Control.Moffy.Event.Time data Occurred TryWait = OccTryWait DiffTime

Constraint Synonym for Data Occurred

type ExpandableOccurred (es :: Set Type) (es' :: Set Type) = Expandable Occurred es es' Source #

type CollapsableOccurred (es :: Set Type) (es' :: Set Type) = Collapsable Occurred es es' Source #

type MergeableOccurred (es :: Set Type) (es' :: Set Type) (mrg :: Set Type) = Mergeable Occurred es es' mrg Source #

Never and Await

never :: forall s (es :: Set Type) a. 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 :: Type -> Type) (es :: Set Type) = EvReqs es -> m (EvOccs es) Source #

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

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

liftHandle :: forall m (es :: Set Type) st. 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 :: forall s (es :: Set Type). React s es (ThreadId, ThreadId) Source #

forkThreadId :: forall s (es :: Set Type). React s es (ThreadId, ThreadId) Source #