Mit.Undo

Documentation

data Undo

Constructors

Apply Text

Reset Text

Revert Text

Instances

Show Undo

Defined in Mit.Undo

Methods

showsPrec :: Int -> Undo -> ShowS

show :: Undo -> String

showList :: [Undo] -> ShowS

Eq Undo

Defined in Mit.Undo

Methods

(==) :: Undo -> Undo -> Bool

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

showUndos :: [Undo] -> Text

parseUndos :: Text -> Maybe [Undo]

applyUndo :: Undo -> Mit Env x ()

undosStash :: [Undo] -> Maybe Text