Safe Haskell	None
Language	Haskell2010

Country.Unsafe

Description

This module provides the data constructor for a Country. While pattern matching on a country is perfectly safe, constructing one is not. There is an invariant the type system does not capture that the country number, as defined by ISO 3166-1, is between the inclusive bounds 0 and 999. Failure to maintain this invariant can cause other functions in this library to segfault.

Synopsis

Documentation

newtype Country #

A country recognized by ISO 3166.

Constructors

Country Word16

Instances

Bounded Country #
Methods minBound :: Country # maxBound :: Country #
Enum Country #
Methods succ :: Country -> Country # pred :: Country -> Country # toEnum :: Int -> Country # fromEnum :: Country -> Int # enumFrom :: Country -> [Country] # enumFromThen :: Country -> Country -> [Country] # enumFromTo :: Country -> Country -> [Country] # enumFromThenTo :: Country -> Country -> Country -> [Country] #
Eq Country #
Methods (==) :: Country -> Country -> Bool # (/=) :: Country -> Country -> Bool #
Ord Country #
Methods compare :: Country -> Country -> Ordering # (<) :: Country -> Country -> Bool # (<=) :: Country -> Country -> Bool # (>) :: Country -> Country -> Bool # (>=) :: Country -> Country -> Bool # max :: Country -> Country -> Country # min :: Country -> Country -> Country #
Show Country #
Methods showsPrec :: Int -> Country -> ShowS # show :: Country -> String # showList :: [Country] -> ShowS #
Generic Country #
Associated Types type Rep Country :: * -> * # Methods from :: Country -> Rep Country x # to :: Rep Country x -> Country #
Hashable Country #
Methods hashWithSalt :: Int -> Country -> Int # hash :: Country -> Int #
ToJSON Country #
Methods toJSON :: Country -> Value # toEncoding :: Country -> Encoding # toJSONList :: [Country] -> Value # toEncodingList :: [Country] -> Encoding #
FromJSON Country #
Methods parseJSON :: Value -> Parser Country # parseJSONList :: Value -> Parser [Country] #
Storable Country #
Methods sizeOf :: Country -> Int # alignment :: Country -> Int # peekElemOff :: Ptr Country -> Int -> IO Country # pokeElemOff :: Ptr Country -> Int -> Country -> IO () # peekByteOff :: Ptr b -> Int -> IO Country # pokeByteOff :: Ptr b -> Int -> Country -> IO () # peek :: Ptr Country -> IO Country # poke :: Ptr Country -> Country -> IO () #
NFData Country #
Methods rnf :: Country -> () #
Prim Country #
Methods sizeOf# :: Country -> Int# # alignment# :: Country -> Int# # indexByteArray# :: ByteArray# -> Int# -> Country # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Country#) # writeByteArray# :: MutableByteArray# s -> Int# -> Country -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Country -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Country # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Country#) # writeOffAddr# :: Addr# -> Int# -> Country -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Country -> State# s -> State# s #
type Rep Country #
type Rep Country = D1 * (MetaData "Country" "Country.Unexposed.Names" "country-0.1.6-8XXh5kULnu04s0435b0VhP" True) (C1 * (MetaCons "Country" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word16)))