marcosh/crem
1
1
Fork 0
mirror of https://github.com/marcosh/crem.git synced 2024-09-11 12:36:19 +03:00
Code Issues Packages Projects Releases Wiki Activity

switches start in OffState

Browse Source
This commit is contained in:
Marco Perone 2023-02-28 16:01:47 +01:00
parent 9e16ebc1c9
commit 8d940555c8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/Crem/Example/TwoSwitchesGate.lhs
View File

@ -69,13 +69,13 @@ At this point we can actually implement our switch as a `BaseMachine`
> switch :: () -> BaseMachine SwitchTopology SwitchInput SwitchOutput
> switch _ =
> BaseMachineT
> { initialState = InitialState OnState
> { initialState = InitialState OffState
> , action = \case
> OnState -> \_ -> pureResult TurnedOn OnState
> OffState -> \_ -> pureResult TurnedOn OnState
> }
We start from the `OnState` and every time we receive a request to turn the switch on, we return a message informing the external world that the switch in turned on and we update the state accordingly if needed.
We start from the `OffState` and every time we receive a request to turn the switch on, we return a message informing the external world that the switch in turned on and we update the state accordingly if needed.
Since we need two separate switches, we can create them by invoking the `switch` function twice