Country.Unsafe

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.

Documentation

newtype Country

A country recognized by ISO 3166.

Constructors

Country Word16

Instances

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

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]

Prim Country

Methods

sizeOf# :: Country -> Int#

alignment# :: Country -> Int#

indexByteArray# :: ByteArray# -> Int# -> Country

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#VoidRep, PtrRepLifted, 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 -> (#VoidRep, PtrRepLifted, State# s, Country#)

writeOffAddr# :: Addr# -> Int# -> Country -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Country -> State# s -> State# s