Control.Moffy.Event.Lock

Type

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

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

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

type SingletonUnlock = Singleton Unlock

data LockId

Instances

Show LockId

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> LockId -> ShowS

show :: LockId -> String

showList :: [LockId] -> ShowS

Eq LockId

Defined in Control.Moffy.Event.Lock.Internal

Methods

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

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

Event Type

data NewLockId

Instances

Show NewLockId

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> NewLockId -> ShowS

show :: NewLockId -> String

showList :: [NewLockId] -> ShowS

Eq NewLockId

Defined in Control.Moffy.Event.Lock.Internal

Methods

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

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

Request NewLockId

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred NewLockId

Selectable NewLockId

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: NewLockId -> NewLockId -> NewLockId

Numbered NewLockId

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number NewLockId = (r :: Nat)

data Occurred NewLockId

Defined in Control.Moffy.Event.Lock.Internal

data Occurred NewLockId = OccNewLockId LockId ThreadId

type Number NewLockId

Defined in Control.Moffy.Event.Lock.Internal

type Number NewLockId = 9497218619641473126

data GetLock

Instances

Show GetLock

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> GetLock -> ShowS

show :: GetLock -> String

showList :: [GetLock] -> ShowS

Eq GetLock

Defined in Control.Moffy.Event.Lock.Internal

Methods

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

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

Request GetLock

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred GetLock

Selectable GetLock

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: GetLock -> GetLock -> GetLock

Numbered GetLock

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number GetLock = (r :: Nat)

data Occurred GetLock

Defined in Control.Moffy.Event.Lock.Internal

data Occurred GetLock = OccGetLock LockId ThreadId

type Number GetLock

Defined in Control.Moffy.Event.Lock.Internal

type Number GetLock = 15386887119095662171

data Unlock

Instances

Show Unlock

Defined in Control.Moffy.Event.Lock.Internal

Methods

showsPrec :: Int -> Unlock -> ShowS

show :: Unlock -> String

showList :: [Unlock] -> ShowS

Request Unlock

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

data Occurred Unlock

Selectable Unlock

Defined in Control.Moffy.Event.Lock.Internal

Methods

select :: Unlock -> Unlock -> Unlock

Numbered Unlock

Defined in Control.Moffy.Event.Lock.Internal

Associated Types

type Number Unlock = (r :: Nat)

data Occurred Unlock

Defined in Control.Moffy.Event.Lock.Internal

data Occurred Unlock = OccUnlock

type Number Unlock

Defined in Control.Moffy.Event.Lock.Internal

type Number Unlock = 17365853235197324207

Event

newLockId :: React s GetThreadIdNewLockId LockId

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

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