moffy-0.1.1.0: Monadic Functional Reactive Programming
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Moffy.Event.Lock

Synopsis

Type

type LockEv = NewLockId :- (GetLock :- (Unlock :- 'Nil)) Source #

type GetThreadIdNewLockId = GetThreadId :- (NewLockId :- 'Nil) Source #

type GetThreadIdGetLock = GetThreadId :- (GetLock :- 'Nil) Source #

type SingletonUnlock = Singleton Unlock Source #

data LockId Source #

Instances

Instances details
Show LockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> LockId -> ShowS #

show :: LockId -> String #

showList :: [LockId] -> ShowS #

Eq LockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

(==) :: LockId -> LockId -> Bool #

(/=) :: LockId -> LockId -> Bool #

Event Type

data NewLockId Source #

Instances

Instances details
Show NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> NewLockId -> ShowS #

show :: NewLockId -> String #

showList :: [NewLockId] -> ShowS #

Eq NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

(==) :: NewLockId -> NewLockId -> Bool #

(/=) :: NewLockId -> NewLockId -> Bool #

Request NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred NewLockId Source #

Selectable NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: NewLockId -> NewLockId -> NewLockId #

Numbered NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number NewLockId = (r :: Nat)

data Occurred NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

data Occurred NewLockId = OccNewLockId LockId ThreadId
type Number NewLockId Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

type Number NewLockId = 9497218619641473126

data GetLock Source #

Instances

Instances details
Show GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> GetLock -> ShowS #

show :: GetLock -> String #

showList :: [GetLock] -> ShowS #

Eq GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

(==) :: GetLock -> GetLock -> Bool #

(/=) :: GetLock -> GetLock -> Bool #

Request GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred GetLock Source #

Selectable GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: GetLock -> GetLock -> GetLock #

Numbered GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number GetLock = (r :: Nat)

data Occurred GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

data Occurred GetLock = OccGetLock LockId ThreadId
type Number GetLock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

type Number GetLock = 15386887119095662171

data Unlock Source #

Instances

Instances details
Show Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> Unlock -> ShowS #

show :: Unlock -> String #

showList :: [Unlock] -> ShowS #

Request Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred Unlock Source #

Selectable Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: Unlock -> Unlock -> Unlock #

Numbered Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number Unlock = (r :: Nat)

data Occurred Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

data Occurred Unlock = OccUnlock
type Number Unlock Source # 
Instance details

Defined in Control.Moffy.Event.Lock.Internal

type Number Unlock = 17365853235197324207

Event

newLockId :: React s GetThreadIdNewLockId LockId Source #

withLock :: ((es :+: es') ~ es', (GetThreadIdGetLock :+: es') ~ es', (SingletonUnlock :+: es') ~ es', Adjustable es es', Adjustable GetThreadIdGetLock es', Adjustable SingletonUnlock es') => LockId -> React s es a -> React s es' a Source #

withLockSig :: ((es :+: es') ~ es', (GetThreadIdGetLock :+: es') ~ es', (SingletonUnlock :+: es') ~ es', Adjustable es es', Adjustable GetThreadIdGetLock es', Adjustable SingletonUnlock es') => LockId -> Sig s es a r -> Sig s es' a r Source #