roc-id

Safe Haskell	None
Language	Haskell2010

ROC.ID.Nationality

Synopsis

data Nationality
- = National
- | NonNational
generate :: MonadRandom m => m Nationality

Documentation

data Nationality Source #

Specifies a person's nationality.

Constructors

National
NonNational

Instances

Instances details

Finitary Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Associated Types

type Cardinality Nationality
Instance details Defined in ROC.ID.Nationality type Cardinality Nationality = GCardinality (Rep Nationality)

Methods

fromFinite :: Finite (Cardinality Nationality) -> Nationality #

toFinite :: Nationality -> Finite (Cardinality Nationality) #

start :: Nationality #

end :: Nationality #

previous :: Nationality -> Maybe Nationality #

next :: Nationality -> Maybe Nationality #

Bounded Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

minBound :: Nationality #

maxBound :: Nationality #

Enum Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

succ :: Nationality -> Nationality #

pred :: Nationality -> Nationality #

toEnum :: Int -> Nationality #

fromEnum :: Nationality -> Int #

enumFrom :: Nationality -> [Nationality] #

enumFromThen :: Nationality -> Nationality -> [Nationality] #

enumFromTo :: Nationality -> Nationality -> [Nationality] #

enumFromThenTo :: Nationality -> Nationality -> Nationality -> [Nationality] #

Generic Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Associated Types

type Rep Nationality
Instance details Defined in ROC.ID.Nationality type Rep Nationality = D1 ('MetaData "Nationality" "ROC.ID.Nationality" "roc-id-0.4.0.0-inplace" 'False) (C1 ('MetaCons "National" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonNational" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Nationality -> Rep Nationality x #

to :: Rep Nationality x -> Nationality #

Read Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

readsPrec :: Int -> ReadS Nationality #

readList :: ReadS [Nationality] #

readPrec :: ReadPrec Nationality #

readListPrec :: ReadPrec [Nationality] #

Show Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

showsPrec :: Int -> Nationality -> ShowS #

show :: Nationality -> String #

showList :: [Nationality] -> ShowS #

Eq Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

(==) :: Nationality -> Nationality -> Bool #

(/=) :: Nationality -> Nationality -> Bool #

Ord Nationality Source #

Instance details

Defined in ROC.ID.Nationality

Methods

compare :: Nationality -> Nationality -> Ordering #

(<) :: Nationality -> Nationality -> Bool #

(<=) :: Nationality -> Nationality -> Bool #

(>) :: Nationality -> Nationality -> Bool #

(>=) :: Nationality -> Nationality -> Bool #

max :: Nationality -> Nationality -> Nationality #

min :: Nationality -> Nationality -> Nationality #

type Cardinality Nationality Source #

Instance details

Defined in ROC.ID.Nationality

type Cardinality Nationality = GCardinality (Rep Nationality)

type Rep Nationality Source #

Instance details

Defined in ROC.ID.Nationality

type Rep Nationality = D1 ('MetaData "Nationality" "ROC.ID.Nationality" "roc-id-0.4.0.0-inplace" 'False) (C1 ('MetaCons "National" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonNational" 'PrefixI 'False) (U1 :: Type -> Type))

generate :: MonadRandom m => m Nationality Source #

Generates a random Nationality.