Moduletomland-1.3.3.3Haskell2010

Toml.Type.Key

SPDX-License-Identifier : MPL-2.0 Maintainer : Kowainik xrom.xkov@gmail.com Stability : Stable Portability : Portable

Implementation of key type. The type is used for key-value pairs and table names.

Core types

5 declarations

newtypenewtype Key

Key of value in key = val pair. Represents as non-empty list of key components — Pieces. Key like

site."google.com"

is represented like

Key (Piece "site" :| [Piece "\"google.com\""])

Instances9Eq, Ord, Show, IsString, Generic, Semigroup, …

Eq KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
Ord KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
Show KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
IsString KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
Split a dot-separated string into Key. Empty string turns into a Key with single element — empty Piece.
This instance is not safe for now. Use carefully. If you try to use as a key string like this site."google.com" you will have list of three components instead of desired two.
Generic KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
Semigroup KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
NFData KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
Hashable KeyDefined in tomland-1.3.3.3 · Toml.Type.Key
type Rep Key = D1 ('MetaData "Key" "Toml.Type.Key" "tomland-1.3.3.3-IZ1IPk9NxLy7CYVHjydqUA" 'True) (C1 ('MetaCons "Key" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Piece))))Defined in tomland-1.3.3.3 · Toml.Type.Key

typetype Prefix = Key

Type synonym for Key.

newtypenewtype Piece

Represents the key piece of some layer.

Instances8Eq, Ord, Show, IsString, Generic, NFData, …

Eq PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
Ord PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
Show PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
IsString PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
Generic PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
NFData PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
Hashable PieceDefined in tomland-1.3.3.3 · Toml.Type.Key
type Rep Piece = D1 ('MetaData "Piece" "Toml.Type.Key" "tomland-1.3.3.3-IZ1IPk9NxLy7CYVHjydqUA" 'True) (C1 ('MetaCons "Piece" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPiece") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in tomland-1.3.3.3 · Toml.Type.Key

patternpattern (:||) :: Piece -> [Piece] -> Key

Bidirectional pattern synonym for constructing and deconstructing Keys.

value(<|) :: Piece -> Key -> Key

Prepends Piece to the beginning of the Key.

2 declarations

datadata KeysDiff

Data represent difference between two keys.

Instances2Eq, Show

valuekeysDiff :: Key -> Key -> KeysDiff

Find key difference between two keys.