doldol-0.4.1.0: Flag packer & handler for flaggable data

Safe Haskell	None
Language	Haskell2010

Data.Flag.Phantom

Description

Phantom is for strict typing of Flag.

When you want to distinguish two Flag by its origination, use this module instead of Flag(Simple).

Synopsis

newtype PhantomFlag t = PhFlag Flag
getFlag :: PhantomFlag t -> Flag
encodeFlag :: (Foldable f, Bounded e, Enum e) => f e -> PhantomFlag t
decodeFlag :: Enum e => PhantomFlag t -> [e]
showFlag :: PhantomFlag t -> String
showFlagFit :: (Bounded e, Enum e) => e -> PhantomFlag t -> String
showFlagBy :: Int -> PhantomFlag t -> String
readFlag :: String -> PhantomFlag t
readEnum :: Enum e => String -> [e]
include :: PhantomFlag t -> PhantomFlag t -> Bool
exclude :: PhantomFlag t -> PhantomFlag t -> Bool
about :: (Flag -> Flag -> b) -> PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> b
eqAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool
includeAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool
excludeAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool
anyReq :: PhantomFlag t1 -> PhantomFlag t2 -> Bool
allReq :: PhantomFlag t1 -> PhantomFlag t2 -> Bool
module Data.Flag.Internal

Documentation

newtype PhantomFlag t Source #

Constructors

Instances

Eq (PhantomFlag t) Source #
Instance details Defined in Data.Flag.Phantom Methods (==) :: PhantomFlag t -> PhantomFlag t -> Bool # (/=) :: PhantomFlag t -> PhantomFlag t -> Bool #
Ord (PhantomFlag t) Source #
Instance details Defined in Data.Flag.Phantom Methods compare :: PhantomFlag t -> PhantomFlag t -> Ordering # (<) :: PhantomFlag t -> PhantomFlag t -> Bool # (<=) :: PhantomFlag t -> PhantomFlag t -> Bool # (>) :: PhantomFlag t -> PhantomFlag t -> Bool # (>=) :: PhantomFlag t -> PhantomFlag t -> Bool # max :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t # min :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t #
Show (PhantomFlag t) Source #
Instance details Defined in Data.Flag.Phantom Methods showsPrec :: Int -> PhantomFlag t -> ShowS # show :: PhantomFlag t -> String # showList :: [PhantomFlag t] -> ShowS #

getFlag :: PhantomFlag t -> Flag Source #

Take Flag from PhantomFlag

encodeFlag :: (Foldable f, Bounded e, Enum e) => f e -> PhantomFlag t Source #

decodeFlag :: Enum e => PhantomFlag t -> [e] Source #

showFlag :: PhantomFlag t -> String Source #

showFlagFit :: (Bounded e, Enum e) => e -> PhantomFlag t -> String Source #

showFlagBy :: Int -> PhantomFlag t -> String Source #

readFlag :: String -> PhantomFlag t Source #

readEnum :: Enum e => String -> [e] Source #

include :: PhantomFlag t -> PhantomFlag t -> Bool Source #

exclude :: PhantomFlag t -> PhantomFlag t -> Bool Source #

about :: (Flag -> Flag -> b) -> PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> b Source #

eqAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool Source #

includeAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool Source #

excludeAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool Source #

anyReq :: PhantomFlag t1 -> PhantomFlag t2 -> Bool Source #

allReq :: PhantomFlag t1 -> PhantomFlag t2 -> Bool Source #

module Data.Flag.Internal