?? digitalcontrol.hs
字號(hào):
-- | Models an interface to a digital control, such as a valve or clutch.module Language.Atom.Common.DigitalControl ( DigitalControl (..) , digitalControl , engage , disengage , isEngaged , isDisengaged ) whereimport Language.Atom-- | A DigitalControl is a control that can be either engaged or disengaged.data DigitalControl = DigitalControl (Var Bool)-- | Creates a 'DigitalControl' with a given name and initial state.digitalControl :: Name -> Bool -> System DigitalControldigitalControl name init = do v <- bool name init return $ DigitalControl v-- | Engages a DigitalControl.engage :: DigitalControl -> Action ()engage (DigitalControl v) = v <== true-- | Disengages a DigitalControl.disengage :: DigitalControl -> Action ()disengage (DigitalControl v) = v <== falseisEngaged :: DigitalControl -> Term BoolisEngaged (DigitalControl v) = value visDisengaged :: DigitalControl -> Term BoolisDisengaged = inv . isEngaged
?? 快捷鍵說(shuō)明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -