Gamgine.State.StateTreeZipper

Documentation

data Zipper a

a zipper for the state tree

Constructors

Zipper

Fields

path :: [Step a]

current :: StateTree a

data Step a

represents a step walking the state tree

Constructors

Step

Fields

parent :: (State a, EnterWhen, LeaveWhen)

siblings :: ([StateTree a], [StateTree a])

zipper :: StateTree a -> Zipper a

create a zipper from a StateTree

handleKeyEvent :: KeyInfo -> a -> Zipper a -> (a, Zipper a)

checks if a state transition should occur, otherwise calls the keyEvent function of the current state

handleMouseEvent :: MouseInfo -> a -> Zipper a -> (a, Zipper a)

checks if a state transition should occur, otherwise calls the mouseEvent function of the current state

goUp :: MousePos -> a -> Zipper a -> (a, Zipper a)

leave the current state and enter the parent state

goDown :: Int -> MousePos -> a -> Zipper a -> (a, Zipper a)

leave the current state and enter the adjacent state with index adjIdx

replace :: State a -> Zipper a -> Zipper a

replace the current state

transitionAppliesKI :: KeyInfo -> StateTransition -> Bool

checks if the KeyInfo matches the StateTransition

transitionAppliesMI :: MouseInfo -> StateTransition -> Bool

checks of the MouseInfo matches the StateTransition