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

newtype Country = Country Word16

Documentation

newtype Country #

A country recognized by ISO 3166.

Constructors

Country Word16

Instances

Bounded Country #
Instance details Defined in Country.Unexposed.Names Methods minBound :: Country # maxBound :: Country #
Enum Country #
Instance details Defined in Country.Unexposed.Names 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 #
Instance details Defined in Country.Unexposed.Names Methods (==) :: Country -> Country -> Bool # (/=) :: Country -> Country -> Bool #
Ord Country #
Instance details Defined in Country.Unexposed.Names 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 #
Instance details Defined in Country.Unexposed.Names Methods showsPrec :: Int -> Country -> ShowS # show :: Country -> String # showList :: [Country] -> ShowS #
Generic Country #
Instance details Defined in Country.Unexposed.Names Associated Types type Rep Country :: * -> * # Methods from :: Country -> Rep Country x # to :: Rep Country x -> Country #
Hashable Country #
Instance details Defined in Country.Unexposed.Names Methods hashWithSalt :: Int -> Country -> Int # hash :: Country -> Int #
ToJSON Country #
Instance details Defined in Country.Unexposed.Names Methods toJSON :: Country -> Value # toEncoding :: Country -> Encoding # toJSONList :: [Country] -> Value # toEncodingList :: [Country] -> Encoding #
FromJSON Country #
Instance details Defined in Country.Unexposed.Names Methods parseJSON :: Value -> Parser Country # parseJSONList :: Value -> Parser [Country] #
Storable Country #
Instance details Defined in Country.Unexposed.Names 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 #
Instance details Defined in Country.Unexposed.Names Methods rnf :: Country -> () #
Prim Country #
Instance details Defined in Country.Unexposed.Names Methods sizeOf# :: Country -> Int# # alignment# :: Country -> Int# # indexByteArray# :: ByteArray# -> Int# -> Country # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#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 -> (#State# s, Country#) # writeOffAddr# :: Addr# -> Int# -> Country -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Country -> State# s -> State# s #
type Rep Country #
Instance details Defined in Country.Unexposed.Names type Rep Country = D1 (MetaData "Country" "Country.Unexposed.Names" "country-0.1.6-EUQbRoAcDriFDDpYhefKWN" True) (C1 (MetaCons "Country" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)))