Text.LambdaOptions.List

List newtype wrapper that can be pattern matched against for parsing.

Documentation

newtype List a

A simple wrapper over [a]. Used to avoid overlapping instances for Parseable [a] and Parseable String.

Constructors

List

Fields

• unList :: [a]

Instances

Eq a => Eq (List a)

Defined in Text.LambdaOptions.List

Methods

(==) :: List a -> List a -> Bool

(/=) :: List a -> List a -> Bool

Data a => Data (List a)

Defined in Text.LambdaOptions.List

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> List a -> c (List a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (List a)

toConstr :: List a -> Constr

dataTypeOf :: List a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (List a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (List a))

gmapT :: (forall b. Data b => b -> b) -> List a -> List a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> List a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> List a -> r

gmapQ :: (forall d. Data d => d -> u) -> List a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> List a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> List a -> m (List a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> List a -> m (List a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> List a -> m (List a)

Ord a => Ord (List a)

Defined in Text.LambdaOptions.List

Methods

compare :: List a -> List a -> Ordering

(<) :: List a -> List a -> Bool

(<=) :: List a -> List a -> Bool

(>) :: List a -> List a -> Bool

(>=) :: List a -> List a -> Bool

max :: List a -> List a -> List a

min :: List a -> List a -> List a

Read a => Read (List a)

Defined in Text.LambdaOptions.List

Methods

readsPrec :: Int -> ReadS (List a)

readList :: ReadS [List a]

readPrec :: ReadPrec (List a)

readListPrec :: ReadPrec [List a]

Show a => Show (List a)

Defined in Text.LambdaOptions.List

Methods

showsPrec :: Int -> List a -> ShowS

show :: List a -> String

showList :: [List a] -> ShowS

Parseable a => Parseable (List a)

Greedily parses arguments item-wise. Never fails.

Example: parse (words "5 67 NaN") == (Just (List [5,67]), 2)

Defined in Text.LambdaOptions.List

Methods

parse :: [String] -> (Maybe (List a), Int)