Data.Flag

Documentation

data Flag a

Constructors

Disable a

Enable a

Instances

Foldable Flag

Defined in Data.Flag

Methods

fold :: Monoid m => Flag m -> m

foldMap :: Monoid m => (a -> m) -> Flag a -> m

foldMap' :: Monoid m => (a -> m) -> Flag a -> m

foldr :: (a -> b -> b) -> b -> Flag a -> b

foldr' :: (a -> b -> b) -> b -> Flag a -> b

foldl :: (b -> a -> b) -> b -> Flag a -> b

foldl' :: (b -> a -> b) -> b -> Flag a -> b

foldr1 :: (a -> a -> a) -> Flag a -> a

foldl1 :: (a -> a -> a) -> Flag a -> a

toList :: Flag a -> [a]

null :: Flag a -> Bool

length :: Flag a -> Int

elem :: Eq a => a -> Flag a -> Bool

maximum :: Ord a => Flag a -> a

minimum :: Ord a => Flag a -> a

sum :: Num a => Flag a -> a

product :: Num a => Flag a -> a

Traversable Flag

Defined in Data.Flag

Methods

traverse :: Applicative f => (a -> f b) -> Flag a -> f (Flag b)

sequenceA :: Applicative f => Flag (f a) -> f (Flag a)

mapM :: Monad m => (a -> m b) -> Flag a -> m (Flag b)

sequence :: Monad m => Flag (m a) -> m (Flag a)

Functor Flag

Defined in Data.Flag

Methods

fmap :: (a -> b) -> Flag a -> Flag b

(<$) :: a -> Flag b -> Flag a

Generic (Flag a)

Defined in Data.Flag

Associated Types

type Rep (Flag a) :: Type -> Type

Methods

from :: Flag a -> Rep (Flag a) x

to :: Rep (Flag a) x -> Flag a

Show a => Show (Flag a)

Defined in Data.Flag

Methods

showsPrec :: Int -> Flag a -> ShowS

show :: Flag a -> String

showList :: [Flag a] -> ShowS

Eq a => Eq (Flag a)

Defined in Data.Flag

Methods

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

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

Ord a => Ord (Flag a)

Defined in Data.Flag

Methods

compare :: Flag a -> Flag a -> Ordering

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

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

(>) :: Flag a -> Flag a -> Bool

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

max :: Flag a -> Flag a -> Flag a

min :: Flag a -> Flag a -> Flag a

type Rep (Flag a)

Defined in Data.Flag

type Rep (Flag a) = D1 ('MetaData "Flag" "Data.Flag" "flag-0.1.0.0-LfWNP99jb7cAUq2kKPYGaQ" 'False) (C1 ('MetaCons "Disable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Enable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))