Safe Haskell	None
Language	Haskell2010

Toml.PrefixTree

Contents

Types

Synopsis

data PrefixTree a
- = Leaf !Key !a
- | Branch {
  - bCommonPref :: !Prefix
  - bVal :: !(Maybe a)
  - bPrefixMap :: !(PrefixMap a)
  }
(<|) :: Piece -> Key -> Key
singleT :: Key -> a -> PrefixTree a
insertT :: Key -> a -> PrefixTree a -> PrefixTree a
lookupT :: Key -> PrefixTree a -> Maybe a
toListT :: PrefixTree a -> [(Key, a)]
type PrefixMap a = HashMap Piece (PrefixTree a)
single :: Key -> a -> PrefixMap a
insert :: Key -> a -> PrefixMap a -> PrefixMap a
lookup :: Key -> PrefixMap a -> Maybe a
fromList :: [(Key, a)] -> PrefixMap a
toList :: PrefixMap a -> [(Key, a)]
newtype Piece = Piece {
- unPiece :: Text
}
newtype Key = Key {
- unKey :: NonEmpty Piece
}
pattern (:||) :: Piece -> [Piece] -> Key
type Prefix = Key
data KeysDiff
- = Equal
- | NoPrefix
- | FstIsPref {
  - diff :: !Key
  }
- | SndIsPref {
  - diff :: !Key
  }
- | Diff {
  - pref :: !Key
  - diffFst :: !Key
  - diffSnd :: !Key
  }

Documentation

data PrefixTree a Source #

Data structure to represent table tree for toml.

Constructors

Leaf !Key !a
Branch
Fields bCommonPref :: !Prefix greatest common prefix bVal :: !(Maybe a) value by key = prefix bPrefixMap :: !(PrefixMap a) suffixes of prefix

Instances

Eq a => Eq (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree Methods (==) :: PrefixTree a -> PrefixTree a -> Bool # (/=) :: PrefixTree a -> PrefixTree a -> Bool #
Show a => Show (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree Methods showsPrec :: Int -> PrefixTree a -> ShowS # show :: PrefixTree a -> String # showList :: [PrefixTree a] -> ShowS #
Generic (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree Associated Types type Rep (PrefixTree a) :: Type -> Type # Methods from :: PrefixTree a -> Rep (PrefixTree a) x # to :: Rep (PrefixTree a) x -> PrefixTree a #
Semigroup (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree Methods (<>) :: PrefixTree a -> PrefixTree a -> PrefixTree a # sconcat :: NonEmpty (PrefixTree a) -> PrefixTree a # stimes :: Integral b => b -> PrefixTree a -> PrefixTree a #
NFData a => NFData (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree Methods rnf :: PrefixTree a -> () #
type Rep (PrefixTree a) Source #
Instance details Defined in Toml.PrefixTree type Rep (PrefixTree a) = D1 (MetaData "PrefixTree" "Toml.PrefixTree" "tomland-0.5.0-LfjG6U9ib3bHsNLsVqknKF" False) (C1 (MetaCons "Leaf" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Key) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)) :+: C1 (MetaCons "Branch" PrefixI True) (S1 (MetaSel (Just "bCommonPref") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Prefix) :: (S1 (MetaSel (Just "bVal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe a)) :*: S1 (MetaSel (Just "bPrefixMap") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (PrefixMap a)))))

(<|) :: Piece -> Key -> Key Source #

Prepends Piece to the beginning of the Key.

singleT :: Key -> a -> PrefixTree a Source #

Creates a PrefixTree of one key-value element.

insertT :: Key -> a -> PrefixTree a -> PrefixTree a Source #

Inserts key-value element into the given PrefixTree.

lookupT :: Key -> PrefixTree a -> Maybe a Source #

Looks up the value at a key in the PrefixTree.

toListT :: PrefixTree a -> [(Key, a)] Source #

Converts PrefixTree to the list of pairs.

type PrefixMap a = HashMap Piece (PrefixTree a) Source #

Map of layer names and corresponding PrefixTrees.

single :: Key -> a -> PrefixMap a Source #

Creates a PrefixMap of one key-value element.

insert :: Key -> a -> PrefixMap a -> PrefixMap a Source #

Inserts key-value element into the given PrefixMap.

lookup :: Key -> PrefixMap a -> Maybe a Source #

Looks up the value at a key in the PrefixMap.

fromList :: [(Key, a)] -> PrefixMap a Source #

Constructs PrefixMap structure from the given list of Key and value pairs.

toList :: PrefixMap a -> [(Key, a)] Source #

Converts PrefixMap to the list of pairs.

Types

newtype Piece Source #

Represents the key piece of some layer.

Constructors

Piece
Fields unPiece :: Text

Instances

Eq Piece Source #
Instance details Defined in Toml.PrefixTree Methods (==) :: Piece -> Piece -> Bool # (/=) :: Piece -> Piece -> Bool #
Ord Piece Source #
Instance details Defined in Toml.PrefixTree Methods compare :: Piece -> Piece -> Ordering # (<) :: Piece -> Piece -> Bool # (<=) :: Piece -> Piece -> Bool # (>) :: Piece -> Piece -> Bool # (>=) :: Piece -> Piece -> Bool # max :: Piece -> Piece -> Piece # min :: Piece -> Piece -> Piece #
Show Piece Source #
Instance details Defined in Toml.PrefixTree Methods showsPrec :: Int -> Piece -> ShowS # show :: Piece -> String # showList :: [Piece] -> ShowS #
IsString Piece Source #
Instance details Defined in Toml.PrefixTree Methods fromString :: String -> Piece #
Generic Piece Source #
Instance details Defined in Toml.PrefixTree Associated Types type Rep Piece :: Type -> Type # Methods from :: Piece -> Rep Piece x # to :: Rep Piece x -> Piece #
NFData Piece Source #
Instance details Defined in Toml.PrefixTree Methods rnf :: Piece -> () #
Hashable Piece Source #
Instance details Defined in Toml.PrefixTree Methods hashWithSalt :: Int -> Piece -> Int # hash :: Piece -> Int #
type Rep Piece Source #
Instance details Defined in Toml.PrefixTree type Rep Piece = D1 (MetaData "Piece" "Toml.PrefixTree" "tomland-0.5.0-LfjG6U9ib3bHsNLsVqknKF" True) (C1 (MetaCons "Piece" PrefixI True) (S1 (MetaSel (Just "unPiece") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

newtype Key Source #

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\""])

Constructors

Key
Fields unKey :: NonEmpty Piece

Instances

Eq Key Source #
Instance details Defined in Toml.PrefixTree Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Ord Key Source #
Instance details Defined in Toml.PrefixTree Methods compare :: Key -> Key -> Ordering # (<) :: Key -> Key -> Bool # (<=) :: Key -> Key -> Bool # (>) :: Key -> Key -> Bool # (>=) :: Key -> Key -> Bool # max :: Key -> Key -> Key # min :: Key -> Key -> Key #
Show Key Source #
Instance details Defined in Toml.PrefixTree Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
IsString Key Source #	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.
Instance details Defined in Toml.PrefixTree Methods fromString :: String -> Key #
Generic Key Source #
Instance details Defined in Toml.PrefixTree Associated Types type Rep Key :: Type -> Type # Methods from :: Key -> Rep Key x # to :: Rep Key x -> Key #
Semigroup Key Source #
Instance details Defined in Toml.PrefixTree Methods (<>) :: Key -> Key -> Key # sconcat :: NonEmpty Key -> Key # stimes :: Integral b => b -> Key -> Key #
NFData Key Source #
Instance details Defined in Toml.PrefixTree Methods rnf :: Key -> () #
Hashable Key Source #
Instance details Defined in Toml.PrefixTree Methods hashWithSalt :: Int -> Key -> Int # hash :: Key -> Int #
type Rep Key Source #
Instance details Defined in Toml.PrefixTree type Rep Key = D1 (MetaData "Key" "Toml.PrefixTree" "tomland-0.5.0-LfjG6U9ib3bHsNLsVqknKF" True) (C1 (MetaCons "Key" PrefixI True) (S1 (MetaSel (Just "unKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Piece))))

pattern (:||) :: Piece -> [Piece] -> Key Source #

type Prefix = Key Source #

Type synonym for Key.

data KeysDiff Source #

Constructors

Equal	Keys are equal
NoPrefix	Keys don't have any common part.
FstIsPref	The first key is the prefix for the second one.
Fields diff :: !Key
SndIsPref	The second key is the prefix for the first one.
Fields diff :: !Key
Diff	Key have same prefix.
Fields pref :: !Key diffFst :: !Key diffSnd :: !Key

Instances

Eq KeysDiff Source #
Instance details Defined in Toml.PrefixTree Methods (==) :: KeysDiff -> KeysDiff -> Bool # (/=) :: KeysDiff -> KeysDiff -> Bool #
Show KeysDiff Source #
Instance details Defined in Toml.PrefixTree Methods showsPrec :: Int -> KeysDiff -> ShowS # show :: KeysDiff -> String # showList :: [KeysDiff] -> ShowS #