Safe Haskell	Safe-Inferred
Language	Haskell2010

Trivialini.SafeTypes

Contents

Safe String types

Description

Ini data essentially consists of Strings, that cannot contain every character because of the simple format it is contained in. The types in this module are restricted to contain only allowed characters. They also can not be empty or start or end with whitespace. Values of these types can not be created with data constructors. Use the mk* functions instead!

Synopsis

Safe `String` types

data IniHeading Source #

A section heading

Instances

Instances details

IsString IniHeading Source #
Instance details Defined in Trivialini.SafeTypes Methods fromString :: String -> IniHeading #
Show IniHeading Source #
Instance details Defined in Trivialini.SafeTypes Methods showsPrec :: Int -> IniHeading -> ShowS # show :: IniHeading -> String # showList :: [IniHeading] -> ShowS #
Eq IniHeading Source #
Instance details Defined in Trivialini.SafeTypes Methods (==) :: IniHeading -> IniHeading -> Bool # (/=) :: IniHeading -> IniHeading -> Bool #
Ord IniHeading Source #
Instance details Defined in Trivialini.SafeTypes Methods compare :: IniHeading -> IniHeading -> Ordering # (<) :: IniHeading -> IniHeading -> Bool # (<=) :: IniHeading -> IniHeading -> Bool # (>) :: IniHeading -> IniHeading -> Bool # (>=) :: IniHeading -> IniHeading -> Bool # max :: IniHeading -> IniHeading -> IniHeading # min :: IniHeading -> IniHeading -> IniHeading #

data IniKey Source #

A key of a key-value pair

Instances

Instances details

IsString IniKey Source #
Instance details Defined in Trivialini.SafeTypes Methods fromString :: String -> IniKey #
Show IniKey Source #
Instance details Defined in Trivialini.SafeTypes Methods showsPrec :: Int -> IniKey -> ShowS # show :: IniKey -> String # showList :: [IniKey] -> ShowS #
Eq IniKey Source #
Instance details Defined in Trivialini.SafeTypes Methods (==) :: IniKey -> IniKey -> Bool # (/=) :: IniKey -> IniKey -> Bool #
Ord IniKey Source #
Instance details Defined in Trivialini.SafeTypes Methods compare :: IniKey -> IniKey -> Ordering # (<) :: IniKey -> IniKey -> Bool # (<=) :: IniKey -> IniKey -> Bool # (>) :: IniKey -> IniKey -> Bool # (>=) :: IniKey -> IniKey -> Bool # max :: IniKey -> IniKey -> IniKey # min :: IniKey -> IniKey -> IniKey #

data IniValue Source #

A value of a key-value pair

Instances

Instances details

IsString IniValue Source #
Instance details Defined in Trivialini.SafeTypes Methods fromString :: String -> IniValue #
Show IniValue Source #
Instance details Defined in Trivialini.SafeTypes Methods showsPrec :: Int -> IniValue -> ShowS # show :: IniValue -> String # showList :: [IniValue] -> ShowS #
Eq IniValue Source #
Instance details Defined in Trivialini.SafeTypes Methods (==) :: IniValue -> IniValue -> Bool # (/=) :: IniValue -> IniValue -> Bool #
Ord IniValue Source #
Instance details Defined in Trivialini.SafeTypes Methods compare :: IniValue -> IniValue -> Ordering # (<) :: IniValue -> IniValue -> Bool # (<=) :: IniValue -> IniValue -> Bool # (>) :: IniValue -> IniValue -> Bool # (>=) :: IniValue -> IniValue -> Bool # max :: IniValue -> IniValue -> IniValue # min :: IniValue -> IniValue -> IniValue #