Types

Basic datatypes.

Documentation

type Binder = String

data NoCustomEvent

data Name

Constructors

LeftViewport

RightViewport

viewports

FormField String

form fields

Instances

Eq Name

Defined in Types

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

Defined in Types

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in Types

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

data Trans

Constructors

Step Int

move to given step in the current binder

Name String

move to the next/previous transformation with the given name

Search String

move to the next/previous occurrence of the searched string

Instances

Eq Trans

Defined in Types

Methods

(==) :: Trans -> Trans -> Bool

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

Ord Trans

Defined in Types

Methods

compare :: Trans -> Trans -> Ordering

(<) :: Trans -> Trans -> Bool

(<=) :: Trans -> Trans -> Bool

(>) :: Trans -> Trans -> Bool

(>=) :: Trans -> Trans -> Bool

max :: Trans -> Trans -> Trans

min :: Trans -> Trans -> Trans

Show Trans

Defined in Types

Methods

showsPrec :: Int -> Trans -> ShowS

show :: Trans -> String

showList :: [Trans] -> ShowS

data OptionsUI term

Constructors

OptionsUI

Fields

• _opts :: Options term
• _trans :: Trans

trans :: forall term. Lens' (OptionsUI term) Trans

opts :: forall term term. Lens (OptionsUI term) (OptionsUI term) (Options term) (Options term)

data VizState term

Bottom-level state of the UI (navigate steps of a top-level binder).

Constructors

VizState

Fields

• _steps :: History term (Ctx term)

  steps of the rewriting process

• _prevState :: Maybe (VizState term)

  previous state (initially Nothing)

• _curExpr :: term

  current (intermediate) expression

• _curStep :: Int

  current step in given top-level entity

steps :: forall term. Lens' (VizState term) (History term (Ctx term))

prevState :: forall term. Lens' (VizState term) (Maybe (VizState term))

curStep :: forall term. Lens' (VizState term) Int

curExpr :: forall term. Lens' (VizState term) term

data VizStates term

Top-level state of the UI (navigate top-level binders).

Constructors

VizStates

Fields

• _binders :: [Binder]

  all top-level binders

• _curBinder :: Binder

  currently selected binder

• _states :: Map Binder (VizState term)

  state of each binder

• _form :: Form (OptionsUI term) NoCustomEvent Name

  input form for setting parameters

• _showBot :: Bool

  whether to hide bottom pane

• _width :: Int

  current terminal width

• _height :: Int

  current terminal height

• _scroll :: Bool

  whether to scroll to focused region

width :: forall term. Lens' (VizStates term) Int

states :: forall term. Lens' (VizStates term) (Map Binder (VizState term))

showBot :: forall term. Lens' (VizStates term) Bool

scroll :: forall term. Lens' (VizStates term) Bool

height :: forall term. Lens' (VizStates term) Int

form :: forall term. Lens' (VizStates term) (Form (OptionsUI term) NoCustomEvent Name)

curBinder :: forall term. Lens' (VizStates term) Binder

binders :: forall term. Lens' (VizStates term) [Binder]

mkForm :: forall term. Diff term => OptionsUI term -> Form (OptionsUI term) NoCustomEvent Name

createVizStates :: forall term. Diff term => History term (Ctx term) -> VizStates term

Group the rewrite history by the different top-level binders.

initialState :: Diff term => History term (Ctx term) -> VizState term

currentStepName :: VizState term -> String

getStep :: VizStates term -> Binder -> (Int, Int, String)

getCurrentState :: VizStates term -> VizState term

formData :: forall term. Diff term => Lens' (VizStates term) (OptionsUI term)

updateState :: VizStates term -> VizState term -> VizStates term

getCodeWidth :: VizStates term -> Int

stepBinder :: VizStates term -> VizStates term

unstepBinder :: VizStates term -> VizStates term

step :: Diff term => VizState term -> VizState term

Proceed to the next state.

unstep :: Diff term => VizState term -> VizState term

Go back to the previous state.

reset :: Diff term => VizState term -> VizState term

Reset to the initial state.

moveTo :: Diff term => Int -> VizState term -> VizState term

Move to a specified step of the transformations of the current binder.

nextTrans :: Diff term => (VizState term -> VizState term) -> String -> VizState term -> VizState term

Move to the next/previous step with the given transformation name.