Copyright	(C) CSIRO 2017-2018
License	BSD3
Maintainer	George Wilson <george.wilson@data61.csiro.au>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Text.Space

Description

A sum type for space characters

Synopsis

Documentation

data HorizontalSpace Source #

HorizontalSpace is a subset of Char. To move back and forth betwen it and Char, String, or Text, use _HorizontalSpace

Constructors

Space
Tab

Instances

Eq HorizontalSpace Source #
Methods (==) :: HorizontalSpace -> HorizontalSpace -> Bool # (/=) :: HorizontalSpace -> HorizontalSpace -> Bool #
Ord HorizontalSpace Source #
Methods compare :: HorizontalSpace -> HorizontalSpace -> Ordering # (<) :: HorizontalSpace -> HorizontalSpace -> Bool # (<=) :: HorizontalSpace -> HorizontalSpace -> Bool # (>) :: HorizontalSpace -> HorizontalSpace -> Bool # (>=) :: HorizontalSpace -> HorizontalSpace -> Bool # max :: HorizontalSpace -> HorizontalSpace -> HorizontalSpace # min :: HorizontalSpace -> HorizontalSpace -> HorizontalSpace #
Show HorizontalSpace Source #
Methods showsPrec :: Int -> HorizontalSpace -> ShowS # show :: HorizontalSpace -> String # showList :: [HorizontalSpace] -> ShowS #
NFData HorizontalSpace Source #
Methods rnf :: HorizontalSpace -> () #
AsHorizontalSpace HorizontalSpace Source #
Methods _HorizontalSpace :: Prism' HorizontalSpace HorizontalSpace Source # _Space :: Prism' HorizontalSpace () Source # _Tab :: Prism' HorizontalSpace () Source #

class AsHorizontalSpace r where Source #

Classy prisms for HorizontalSpaces

Minimal complete definition

_HorizontalSpace

Methods

_HorizontalSpace :: Prism' r HorizontalSpace Source #

_Space :: Prism' r () Source #

_Tab :: Prism' r () Source #

Instances

AsHorizontalSpace Char Source #
Methods _HorizontalSpace :: Prism' Char HorizontalSpace Source # _Space :: Prism' Char () Source # _Tab :: Prism' Char () Source #
AsHorizontalSpace HorizontalSpace Source #
Methods _HorizontalSpace :: Prism' HorizontalSpace HorizontalSpace Source # _Space :: Prism' HorizontalSpace () Source # _Tab :: Prism' HorizontalSpace () Source #

type Spaces = Vector HorizontalSpace Source #

Helpful alias for lists of Spaces

single :: Spaces Source #

One space

manySpaces :: Int -> Spaces Source #

As many spaces as you'd like

tab :: Spaces Source #

One tab

spaceToChar :: HorizontalSpace -> Char Source #

Turn a Space into a Char. To go the other way, see charToSpace

charToSpace :: Char -> Maybe HorizontalSpace Source #

Try to turn a Char into a Space. To go the other way, see spaceToChar

spacesText :: Prism' Text Spaces Source #

Parse Text into Spaces, or turn spaces into Text

spacesString :: Prism' String Spaces Source #

Parse String into Spaces, or convert Spaces into String

data Spaced a Source #

Spaced is a value with zero or many horizontal spaces around it on both sides.

Constructors

Spaced
Fields _before :: Spaces _after :: Spaces _value :: a

Instances

Functor Spaced Source #
Methods fmap :: (a -> b) -> Spaced a -> Spaced b # (<$) :: a -> Spaced b -> Spaced a #
Applicative Spaced Source #	Appends the right parameter on the inside of the left parameter Spaced " " () " " *> Spaced "\t\t\t" () "\t \t" == Spaced " \t\t\t" () "\t \t "
Methods pure :: a -> Spaced a # (<>) :: Spaced (a -> b) -> Spaced a -> Spaced b # liftA2 :: (a -> b -> c) -> Spaced a -> Spaced b -> Spaced c # (>) :: Spaced a -> Spaced b -> Spaced b # (<*) :: Spaced a -> Spaced b -> Spaced a #
Foldable Spaced Source #
Methods fold :: Monoid m => Spaced m -> m # foldMap :: Monoid m => (a -> m) -> Spaced a -> m # foldr :: (a -> b -> b) -> b -> Spaced a -> b # foldr' :: (a -> b -> b) -> b -> Spaced a -> b # foldl :: (b -> a -> b) -> b -> Spaced a -> b # foldl' :: (b -> a -> b) -> b -> Spaced a -> b # foldr1 :: (a -> a -> a) -> Spaced a -> a # foldl1 :: (a -> a -> a) -> Spaced a -> a # toList :: Spaced a -> [a] # null :: Spaced a -> Bool # length :: Spaced a -> Int # elem :: Eq a => a -> Spaced a -> Bool # maximum :: Ord a => Spaced a -> a # minimum :: Ord a => Spaced a -> a # sum :: Num a => Spaced a -> a # product :: Num a => Spaced a -> a #
Traversable Spaced Source #
Methods traverse :: Applicative f => (a -> f b) -> Spaced a -> f (Spaced b) # sequenceA :: Applicative f => Spaced (f a) -> f (Spaced a) # mapM :: Monad m => (a -> m b) -> Spaced a -> m (Spaced b) # sequence :: Monad m => Spaced (m a) -> m (Spaced a) #
Eq a => Eq (Spaced a) Source #
Methods (==) :: Spaced a -> Spaced a -> Bool # (/=) :: Spaced a -> Spaced a -> Bool #
Ord a => Ord (Spaced a) Source #
Methods compare :: Spaced a -> Spaced a -> Ordering # (<) :: Spaced a -> Spaced a -> Bool # (<=) :: Spaced a -> Spaced a -> Bool # (>) :: Spaced a -> Spaced a -> Bool # (>=) :: Spaced a -> Spaced a -> Bool # max :: Spaced a -> Spaced a -> Spaced a # min :: Spaced a -> Spaced a -> Spaced a #
Show a => Show (Spaced a) Source #
Methods showsPrec :: Int -> Spaced a -> ShowS # show :: Spaced a -> String # showList :: [Spaced a] -> ShowS #
Generic (Spaced a) Source #
Associated Types type Rep (Spaced a) :: * -> * # Methods from :: Spaced a -> Rep (Spaced a) x # to :: Rep (Spaced a) x -> Spaced a #
NFData a => NFData (Spaced a) Source #
Methods rnf :: Spaced a -> () #
MonadReader (Vector (SpacedField s)) (DecodeState s) #
Methods ask :: DecodeState s (Vector (SpacedField s)) # local :: (Vector (SpacedField s) -> Vector (SpacedField s)) -> DecodeState s a -> DecodeState s a # reader :: (Vector (SpacedField s) -> a) -> DecodeState s a #
HasSpaced (Spaced a) (Spaced b) a b Source #
Methods spaced :: Lens (Spaced a) (Spaced b) (Spaced a) (Spaced b) Source # after :: Lens (Spaced a) (Spaced b) Spaces Spaces Source # before :: Lens (Spaced a) (Spaced b) Spaces Spaces Source # spacedValue :: Lens (Spaced a) (Spaced b) a b Source #
type Rep (Spaced a) Source #
type Rep (Spaced a) = D1 * (MetaData "Spaced" "Text.Space" "sv-0.1-LEjGD2ajzYS6ZNIUObPicZ" False) (C1 * (MetaCons "Spaced" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_before") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Spaces)) ((::) (S1 * (MetaSel (Just Symbol "_after") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Spaces)) (S1 * (MetaSel (Just Symbol "_value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))))

class HasSpaced s t a b | s -> a, t -> b, s b -> t, t a -> s where Source #

Classy lenses for Spaced

Minimal complete definition

spaced

Methods

spaced :: Lens s t (Spaced a) (Spaced b) Source #

after :: s ~ t => Lens s t Spaces Spaces Source #

before :: s ~ t => Lens s t Spaces Spaces Source #

spacedValue :: Lens s t a b Source #

after :: (s ~ t, a ~ b) => Lens s t Spaces Spaces Source #

before :: (s ~ t, a ~ b) => Lens s t Spaces Spaces Source #

spacedValue :: (s ~ t, a ~ b) => Lens s t a b Source #

Instances

HasSpaced (Spaced a) (Spaced b) a b Source #
Methods spaced :: Lens (Spaced a) (Spaced b) (Spaced a) (Spaced b) Source # after :: Lens (Spaced a) (Spaced b) Spaces Spaces Source # before :: Lens (Spaced a) (Spaced b) Spaces Spaces Source # spacedValue :: Lens (Spaced a) (Spaced b) a b Source #

betwixt :: Spaces -> a -> Spaces -> Spaced a Source #

betwixt is just the constructor for Spaced with a different argument order, which is sometimes useful.

uniform :: Spaces -> a -> Spaced a Source #

uniform puts the same spacing both before and after something.

unspaced :: a -> Spaced a Source #

Places its argument in a Spaced with no spaces.

removeSpaces :: Spaced a -> Spaced a Source #

Remove spaces from the argument