Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Toggle a
- newtype Gesture a = Gesture {}
- data GestureError a
- = OffWithoutOn a
- | OnWithoutOff a
- tag :: Lens' (Toggle a) a
- tags :: Ord a => Fold (Gesture a) a
- tap :: a -> Gesture a
- around :: Ord a => a -> Gesture a -> Either (GestureError a) (Gesture a)
- fromList :: Ord a => [Toggle a] -> Either (GestureError a) (Gesture a)
- type Gest = Seq (Toggle Text)
- data GestureReadError
- prsGesture :: Text -> Either GestureReadError (Gesture Text)
- reserved :: [Char]
- tag_ :: Parser Text
- around_ :: Parser Gest
- closeTag :: Parser Gest
- openTag :: Parser Gest
- tap_ :: Parser Gest
- subg :: Parser Gest
- gest :: Parser Gest
Documentation
A sequence of toggle-changes guaranteed to be valid
data GestureError a Source #
All the ways a '[Toggle a]' can be an invalid Gesture
OffWithoutOn a | An Off not preceded by an On |
OnWithoutOff a | An On not succeeded by an Off |
Instances
Show a => Show (GestureError a) Source # | |
Defined in KMonad.Gesture showsPrec :: Int -> GestureError a -> ShowS # show :: GestureError a -> String # showList :: [GestureError a] -> ShowS # | |
Eq a => Eq (GestureError a) Source # | |
Defined in KMonad.Gesture (==) :: GestureError a -> GestureError a -> Bool # (/=) :: GestureError a -> GestureError a -> Bool # |
around :: Ord a => a -> Gesture a -> Either (GestureError a) (Gesture a) Source #
Wrap a gesture in a toggle iff the id does not already occur
fromList :: Ord a => [Toggle a] -> Either (GestureError a) (Gesture a) Source #
Create a gesture from a list of toggles
data GestureReadError Source #
Instances
Exception GestureReadError Source # | |
Defined in KMonad.Gesture | |
Show GestureReadError Source # | |
Defined in KMonad.Gesture showsPrec :: Int -> GestureReadError -> ShowS # show :: GestureReadError -> String # showList :: [GestureReadError] -> ShowS # | |
Eq GestureReadError Source # | |
Defined in KMonad.Gesture (==) :: GestureReadError -> GestureReadError -> Bool # (/=) :: GestureReadError -> GestureReadError -> Bool # |
prsGesture :: Text -> Either GestureReadError (Gesture Text) Source #
Parse a Gesture straight from Text