Text.LambdaOptions.Parseable.Booly

Booly data type used for fine control of Bool parsers.

Documentation

data Booly (w :: BoolWord) (l :: BoolLetter) (n :: BoolNumber) (c :: BoolCasing)

Data type used for parsing Bool values with various schemes.

It can be useful to make an alias for this type:

type B = Booly 'AllowWord 'DisallowLetter 'DisallowNumber 'LowerAll

pattern B :: Bool -> B
pattern B x = Booly x

b :: B -> Bool
b = unBooly

Constructors

Booly

Fields

• unBooly :: Bool

Instances

Eq (Booly w l n c)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

(==) :: Booly w l n c -> Booly w l n c -> Bool

(/=) :: Booly w l n c -> Booly w l n c -> Bool

(Typeable w, Typeable l, Typeable n, Typeable c) => Data (Booly w l n c)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> Booly w l n c -> c0 (Booly w l n c)

gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (Booly w l n c)

toConstr :: Booly w l n c -> Constr

dataTypeOf :: Booly w l n c -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (Booly w l n c))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (Booly w l n c))

gmapT :: (forall b. Data b => b -> b) -> Booly w l n c -> Booly w l n c

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Booly w l n c -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Booly w l n c -> r

gmapQ :: (forall d. Data d => d -> u) -> Booly w l n c -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Booly w l n c -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Booly w l n c -> m (Booly w l n c)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Booly w l n c -> m (Booly w l n c)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Booly w l n c -> m (Booly w l n c)

Ord (Booly w l n c)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

compare :: Booly w l n c -> Booly w l n c -> Ordering

(<) :: Booly w l n c -> Booly w l n c -> Bool

(<=) :: Booly w l n c -> Booly w l n c -> Bool

(>) :: Booly w l n c -> Booly w l n c -> Bool

(>=) :: Booly w l n c -> Booly w l n c -> Bool

max :: Booly w l n c -> Booly w l n c -> Booly w l n c

min :: Booly w l n c -> Booly w l n c -> Booly w l n c

Read (Booly w l n c)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readsPrec :: Int -> ReadS (Booly w l n c)

readList :: ReadS [Booly w l n c]

readPrec :: ReadPrec (Booly w l n c)

readListPrec :: ReadPrec [Booly w l n c]

Show (Booly w l n c)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

showsPrec :: Int -> Booly w l n c -> ShowS

show :: Booly w l n c -> String

showList :: [Booly w l n c] -> ShowS

(ReadBoolWord w, ReadBoolLetter l, ReadBoolNumber n, BoolCasingVal c) => Parseable (Booly w l n c)

Parses a Booly using readBooly.

Defined in Text.LambdaOptions.Parseable.Booly

Methods

parse :: [String] -> (Maybe (Booly w l n c), Int)

data BoolWord

Controls word representation for Booly.

Constructors

DisallowWord

Disallow "true" and "false" word representations.

AllowWord

Allow "true" and "false" word representations.

data BoolLetter

Controls letter representation for Booly.

Constructors

DisallowLetter

Disallow "t" and "f" letter representations.

AllowLetter

Allow "t" and "f" letter representations.

data BoolNumber

Controls number representation for Booly.

Constructors

DisallowNumber

Disallow number representations.

AllowBit

Allow 0 and 1 number representations.

AllowNatural

Allow N >= 0 integer representations. 0 maps to False. N > 0 maps to True.

AllowInteger

Allow any N integer representation. 0 maps to False. N /= 0 maps to True.

data BoolCasing

Controls required casing for Booly.

Constructors

IgnoreCase

Casing is completely ignored.

OrCasing BoolCasing BoolCasing

Either casing satisfies a parse.

LowerAll

Fully lowercase is required.

UpperAll

Fully uppercase is required.

UpperHead

The first letter must be uppercase. The rest must be lowercase.

class ReadBoolWord (w :: BoolWord) where

Parsers for the various BoolWord type constructors.

Methods

readBoolWord :: BoolCasingVal c => String -> Maybe (Booly w l n c)

Instances

ReadBoolWord DisallowWord

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolWord :: BoolCasingVal c => String -> Maybe (Booly DisallowWord l n c)

ReadBoolWord AllowWord

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolWord :: BoolCasingVal c => String -> Maybe (Booly AllowWord l n c)

class ReadBoolLetter (l :: BoolLetter) where

Parsers for the various BoolLetter type constructors.

Methods

readBoolLetter :: BoolCasingVal c => String -> Maybe (Booly w l n c)

Instances

ReadBoolLetter DisallowLetter

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolLetter :: BoolCasingVal c => String -> Maybe (Booly w DisallowLetter n c)

ReadBoolLetter AllowLetter

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolLetter :: BoolCasingVal c => String -> Maybe (Booly w AllowLetter n c)

class ReadBoolNumber (n :: BoolNumber) where

Parsers for the various BoolNumber type constructors.

Methods

readBoolNumber :: String -> Maybe (Booly w l n c)

Instances

ReadBoolNumber DisallowNumber

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolNumber :: String -> Maybe (Booly w l DisallowNumber c)

ReadBoolNumber AllowBit

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolNumber :: String -> Maybe (Booly w l AllowBit c)

ReadBoolNumber AllowNatural

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolNumber :: String -> Maybe (Booly w l AllowNatural c)

ReadBoolNumber AllowInteger

Defined in Text.LambdaOptions.Parseable.Booly

Methods

readBoolNumber :: String -> Maybe (Booly w l AllowInteger c)

class BoolCasingVal (c :: BoolCasing) where

Turns a type-level BoolCasing into a value-level one.

Methods

boolCasingVal :: BoolCasing

Instances

BoolCasingVal IgnoreCase

Defined in Text.LambdaOptions.Parseable.Booly

Methods

boolCasingVal :: BoolCasing

BoolCasingVal LowerAll

Defined in Text.LambdaOptions.Parseable.Booly

Methods

boolCasingVal :: BoolCasing

BoolCasingVal UpperAll

Defined in Text.LambdaOptions.Parseable.Booly

Methods

boolCasingVal :: BoolCasing

BoolCasingVal UpperHead

Defined in Text.LambdaOptions.Parseable.Booly

Methods

boolCasingVal :: BoolCasing

(BoolCasingVal a, BoolCasingVal b) => BoolCasingVal (OrCasing a b)

Defined in Text.LambdaOptions.Parseable.Booly

Methods

boolCasingVal :: BoolCasing

readBooly :: (ReadBoolWord w, ReadBoolLetter l, ReadBoolNumber n, BoolCasingVal c) => String -> Maybe (Booly w l n c)

Reads a Booly from a String.