Safe Haskell	None
Language	GHC2021

KDL.Types

Contents

Document
NodeList
- Helpers
Node
- Helpers
Entry
Value
Ann
Identifier
Span
Re-exports

Description

Defines the types that make up a KDL document.

This module enables -XNoFieldSelectors, so none of the fields create implicit selector functions. Instead, use -XOverloadedRecordDot, -XNamedFieldPuns/-XRecordWildCards, or explicitly pattern-match.

Synopsis

type Document = NodeList
data NodeList = NodeList {
- nodes :: [Node]
- ext :: NodeListExtension
}
data NodeListExtension = NodeListExtension {
- format :: Maybe NodeListFormat
- span :: Span
}
data NodeListFormat = NodeListFormat {
- leading :: Text
- trailing :: Text
}
filterNodes :: Text -> NodeList -> [Node]
lookupNode :: Text -> NodeList -> Maybe Node
getArgAt :: Text -> NodeList -> Maybe Value
getArgsAt :: Text -> NodeList -> [Value]
getDashChildrenAt :: Text -> NodeList -> [Value]
getDashNodesAt :: Text -> NodeList -> [Node]
data Node = Node {
- ann :: Maybe Ann
- name :: Identifier
- entries :: [Entry]
- children :: Maybe NodeList
- ext :: NodeExtension
}
data NodeExtension = NodeExtension {
- format :: Maybe NodeFormat
- span :: Span
}
data NodeFormat = NodeFormat {
- leading :: Text
- beforeChildren :: Text
- beforeTerminator :: Text
- terminator :: Text
- trailing :: Text
}
getArgs :: Node -> [Value]
getArg :: Node -> Maybe Value
getProps :: Node -> Map Text Value
getProp :: Text -> Node -> Maybe Value
data Entry = Entry {
- name :: Maybe Identifier
- value :: Value
- ext :: EntryExtension
}
data EntryExtension = EntryExtension {
- format :: Maybe EntryFormat
- span :: Span
}
data EntryFormat = EntryFormat {
- leading :: Text
- afterKey :: Text
- afterEq :: Text
- trailing :: Text
}
data Value = Value {
- ann :: Maybe Ann
- data_ :: ValueData
- ext :: ValueExtension
}
data ValueExtension = ValueExtension {
- format :: Maybe ValueFormat
- span :: Span
}
data ValueFormat = ValueFormat {
- repr :: Maybe Text
}
data ValueData
- = String Text
- | Number Scientific
- | Bool Bool
- | Inf
- | NegInf
- | NaN
- | Null
data Ann = Ann {
- identifier :: Identifier
- ext :: AnnExtension
}
data AnnExtension = AnnExtension {
- format :: Maybe AnnFormat
- span :: Span
}
data AnnFormat = AnnFormat {
- leading :: Text
- beforeId :: Text
- afterId :: Text
- trailing :: Text
}
data Identifier = Identifier {
- value :: Text
- ext :: IdentifierExtension
}
data IdentifierExtension = IdentifierExtension {
- format :: Maybe IdentifierFormat
- span :: Span
}
data IdentifierFormat = IdentifierFormat {
- repr :: Maybe Text
}
fromIdentifier :: Identifier -> Text
toIdentifier :: Text -> Identifier
data Span = Span {
- startLine :: Int
- startCol :: Int
- endLine :: Int
- endCol :: Int
}
def :: Default a => a

Document

type Document = NodeList Source #

NodeList

data NodeList Source #

Constructors

NodeList
Fields nodes :: [Node] ext :: NodeListExtension

Instances

Instances details

Show NodeList Source #

Instance details

Defined in KDL.Types

Methods

showsPrec :: Int -> NodeList -> ShowS #

show :: NodeList -> String #

showList :: [NodeList] -> ShowS #

Eq NodeList Source #

Instance details

Defined in KDL.Types

Methods

(==) :: NodeList -> NodeList -> Bool #

(/=) :: NodeList -> NodeList -> Bool #

HasDecodeHistory NodeList Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

Associated Types

data DecodeHistory NodeList
Instance details Defined in KDL.Decoder.Internal.Decoder data DecodeHistory NodeList = DecodeHistory_NodeList { nodesSeen :: Map Text Int }

Methods

emptyDecodeHistory :: DecodeHistory NodeList Source #

Show (SchemaItem NodeList) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

showsPrec :: Int -> SchemaItem NodeList -> ShowS #

show :: SchemaItem NodeList -> String #

showList :: [SchemaItem NodeList] -> ShowS #

Eq (SchemaItem NodeList) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

(==) :: SchemaItem NodeList -> SchemaItem NodeList -> Bool #

(/=) :: SchemaItem NodeList -> SchemaItem NodeList -> Bool #

data SchemaItem NodeList Source #

Instance details

Defined in KDL.Decoder.Schema

data SchemaItem NodeList

data DecodeHistory NodeList Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

data DecodeHistory NodeList = DecodeHistory_NodeList {

nodesSeen :: Map Text Int

}

data NodeListExtension Source #

Constructors

NodeListExtension
Fields format :: Maybe NodeListFormat span :: Span

Instances

Instances details

Show NodeListExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> NodeListExtension -> ShowS # show :: NodeListExtension -> String # showList :: [NodeListExtension] -> ShowS #
Default NodeListExtension Source #
Instance details Defined in KDL.Types Methods def :: NodeListExtension #
Eq NodeListExtension Source #
Instance details Defined in KDL.Types Methods (==) :: NodeListExtension -> NodeListExtension -> Bool # (/=) :: NodeListExtension -> NodeListExtension -> Bool #

data NodeListFormat Source #

Constructors

NodeListFormat
Fields leading :: Text Whitespace and comments preceding the first node. trailing :: Text Whitespace and comments following the last node.

Instances

Instances details

Show NodeListFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> NodeListFormat -> ShowS # show :: NodeListFormat -> String # showList :: [NodeListFormat] -> ShowS #
Default NodeListFormat Source #
Instance details Defined in KDL.Types Methods def :: NodeListFormat #
Eq NodeListFormat Source #
Instance details Defined in KDL.Types Methods (==) :: NodeListFormat -> NodeListFormat -> Bool # (/=) :: NodeListFormat -> NodeListFormat -> Bool #

Helpers

filterNodes :: Text -> NodeList -> [Node] Source #

A helper to get all nodes with the given name

lookupNode :: Text -> NodeList -> Maybe Node Source #

A helper to get the first node with the given name

getArgAt :: Text -> NodeList -> Maybe Value Source #

A helper to get the first argument of the first node with the given name. A utility for nodes that are acting like a key-value store.

Example

Expand

let
  config =
    """
    foo 1
    """
Right doc <- pure $ parse config
getArgAt "foo" doc == Just (Number 1)

getArgsAt :: Text -> NodeList -> [Value] Source #

A helper to get all the arguments of the first node with the given name. A utility for nodes that are acting like a key-value store with a list of values.

Example

Expand

let
  config =
    """
    foo 1 2 "test"
    """
Right doc <- pure $ parse config
getArgsAt "foo" doc == [Number 1, Number 2, Text "test"]

getDashChildrenAt :: Text -> NodeList -> [Value] Source #

A helper for getting child values following the KDL convention of being named "-".

Example

Expand

let
  config =
    """
    foo {
      - 1
      - 2
      - "test"
    }
    """
Right doc <- pure $ parse config
getDashChildrenAt "foo" doc == [Number 1, Number 2, Text "test"]

getDashNodesAt :: Text -> NodeList -> [Node] Source #

A helper for getting child nodes following the KDL convention of being named "-".

Example

Expand

let
  config =
    """
    foo {
      - 1
      - 2
      - "test"
    }
    """
Right doc <- pure $ parse config
mapM getArg (getDashNodesAt "foo" doc) == Just [Number 1, Number 2, Text "test"]

Node

data Node Source #

Constructors

Node
Fields ann :: Maybe Ann name :: Identifier entries :: [Entry] children :: Maybe NodeList ext :: NodeExtension

Instances

Instances details

Show Node Source #

Instance details

Defined in KDL.Types

Methods

showsPrec :: Int -> Node -> ShowS #

show :: Node -> String #

showList :: [Node] -> ShowS #

Eq Node Source #

Instance details

Defined in KDL.Types

Methods

(==) :: Node -> Node -> Bool #

(/=) :: Node -> Node -> Bool #

DecodeNode Node Source #

Instance details

Defined in KDL.Decoder.Arrow

Methods

validNodeTypeAnns :: Proxy Node -> [Text] Source #

nodeDecoder :: NodeDecoder Node Source #

HasDecodeHistory Node Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

Associated Types

data DecodeHistory Node
Instance details Defined in KDL.Decoder.Internal.Decoder data DecodeHistory Node = DecodeHistory_Node { argsSeen :: Int propsSeen :: Set Identifier childrenHistory :: DecodeHistory NodeList }

Methods

emptyDecodeHistory :: DecodeHistory Node Source #

Show (SchemaItem Node) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

showsPrec :: Int -> SchemaItem Node -> ShowS #

show :: SchemaItem Node -> String #

showList :: [SchemaItem Node] -> ShowS #

Eq (SchemaItem Node) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

(==) :: SchemaItem Node -> SchemaItem Node -> Bool #

(/=) :: SchemaItem Node -> SchemaItem Node -> Bool #

data SchemaItem Node Source #

Instance details

Defined in KDL.Decoder.Schema

data SchemaItem Node

data DecodeHistory Node Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

data DecodeHistory Node = DecodeHistory_Node {

argsSeen :: Int
propsSeen :: Set Identifier
childrenHistory :: DecodeHistory NodeList

}

data NodeExtension Source #

Constructors

NodeExtension
Fields format :: Maybe NodeFormat span :: Span

Instances

Instances details

Show NodeExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> NodeExtension -> ShowS # show :: NodeExtension -> String # showList :: [NodeExtension] -> ShowS #
Default NodeExtension Source #
Instance details Defined in KDL.Types Methods def :: NodeExtension #
Eq NodeExtension Source #
Instance details Defined in KDL.Types Methods (==) :: NodeExtension -> NodeExtension -> Bool # (/=) :: NodeExtension -> NodeExtension -> Bool #

data NodeFormat Source #

Constructors

NodeFormat
Fields leading :: Text Whitespace and comments preceding the node itself. beforeChildren :: Text Whitespace and comments preceding the node's children block. beforeTerminator :: Text Whitespace and comments right before the node's terminator. terminator :: Text The terminator for the node. trailing :: Text Whitespace and comments following the node, after the terminator.

Instances

Instances details

Show NodeFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> NodeFormat -> ShowS # show :: NodeFormat -> String # showList :: [NodeFormat] -> ShowS #
Default NodeFormat Source #
Instance details Defined in KDL.Types Methods def :: NodeFormat #
Eq NodeFormat Source #
Instance details Defined in KDL.Types Methods (==) :: NodeFormat -> NodeFormat -> Bool # (/=) :: NodeFormat -> NodeFormat -> Bool #

Helpers

getArgs :: Node -> [Value] Source #

Get all the positional arguments of the node.

getArg :: Node -> Maybe Value Source #

Get the first argument of the node.

getProps :: Node -> Map Text Value Source #

Get the properties of the node.

getProp :: Text -> Node -> Maybe Value Source #

Get the property with the given name in the node.

Entry

data Entry Source #

Constructors

Entry
Fields name :: Maybe Identifier The name of the entry, if it's a property, Nothing if it's a positional arg value :: Value ext :: EntryExtension

Instances

Instances details

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

data EntryExtension Source #

Constructors

EntryExtension
Fields format :: Maybe EntryFormat span :: Span

Instances

Instances details

Show EntryExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> EntryExtension -> ShowS # show :: EntryExtension -> String # showList :: [EntryExtension] -> ShowS #
Default EntryExtension Source #
Instance details Defined in KDL.Types Methods def :: EntryExtension #
Eq EntryExtension Source #
Instance details Defined in KDL.Types Methods (==) :: EntryExtension -> EntryExtension -> Bool # (/=) :: EntryExtension -> EntryExtension -> Bool #

data EntryFormat Source #

Constructors

EntryFormat
Fields leading :: Text Whitespace and comments preceding the entry itself. afterKey :: Text Whitespace and comments between an entry's key name and its equals sign. afterEq :: Text Whitespace and comments between an entry's equals sign and its value. trailing :: Text Whitespace and comments following the entry itself.

Instances

Instances details

Show EntryFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> EntryFormat -> ShowS # show :: EntryFormat -> String # showList :: [EntryFormat] -> ShowS #
Default EntryFormat Source #
Instance details Defined in KDL.Types Methods def :: EntryFormat #
Eq EntryFormat Source #
Instance details Defined in KDL.Types Methods (==) :: EntryFormat -> EntryFormat -> Bool # (/=) :: EntryFormat -> EntryFormat -> Bool #

Value

data Value Source #

Constructors

Value
Fields ann :: Maybe Ann data_ :: ValueData ext :: ValueExtension

Instances

Instances details

Show Value Source #

Instance details

Defined in KDL.Types

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

Eq Value Source #

Instance details

Defined in KDL.Types

Methods

(==) :: Value -> Value -> Bool #

(/=) :: Value -> Value -> Bool #

DecodeValue Value Source #

Instance details

Defined in KDL.Decoder.Arrow

Methods

validValueTypeAnns :: Proxy Value -> [Text] Source #

valueDecoder :: ValueDecoder Value Source #

HasDecodeHistory Value Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

Associated Types

data DecodeHistory Value
Instance details Defined in KDL.Decoder.Internal.Decoder data DecodeHistory Value = DecodeHistory_Value

Methods

emptyDecodeHistory :: DecodeHistory Value Source #

Bounded (SchemaItem Value) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

minBound :: SchemaItem Value #

maxBound :: SchemaItem Value #

Enum (SchemaItem Value) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

succ :: SchemaItem Value -> SchemaItem Value #

pred :: SchemaItem Value -> SchemaItem Value #

toEnum :: Int -> SchemaItem Value #

fromEnum :: SchemaItem Value -> Int #

enumFrom :: SchemaItem Value -> [SchemaItem Value] #

enumFromThen :: SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] #

enumFromTo :: SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] #

enumFromThenTo :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] #

Show (SchemaItem Value) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

showsPrec :: Int -> SchemaItem Value -> ShowS #

show :: SchemaItem Value -> String #

showList :: [SchemaItem Value] -> ShowS #

Eq (SchemaItem Value) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

(==) :: SchemaItem Value -> SchemaItem Value -> Bool #

(/=) :: SchemaItem Value -> SchemaItem Value -> Bool #

Ord (SchemaItem Value) Source #

Instance details

Defined in KDL.Decoder.Schema

Methods

compare :: SchemaItem Value -> SchemaItem Value -> Ordering #

(<) :: SchemaItem Value -> SchemaItem Value -> Bool #

(<=) :: SchemaItem Value -> SchemaItem Value -> Bool #

(>) :: SchemaItem Value -> SchemaItem Value -> Bool #

(>=) :: SchemaItem Value -> SchemaItem Value -> Bool #

max :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value #

min :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value #

data SchemaItem Value Source #

Instance details

Defined in KDL.Decoder.Schema

data SchemaItem Value

= TextSchema
| NumberSchema
| BoolSchema
| NullSchema

data DecodeHistory Value Source #

Instance details

Defined in KDL.Decoder.Internal.Decoder

data DecodeHistory Value = DecodeHistory_Value

data ValueExtension Source #

Constructors

ValueExtension
Fields format :: Maybe ValueFormat span :: Span

Instances

Instances details

Show ValueExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> ValueExtension -> ShowS # show :: ValueExtension -> String # showList :: [ValueExtension] -> ShowS #
Default ValueExtension Source #
Instance details Defined in KDL.Types Methods def :: ValueExtension #
Eq ValueExtension Source #
Instance details Defined in KDL.Types Methods (==) :: ValueExtension -> ValueExtension -> Bool # (/=) :: ValueExtension -> ValueExtension -> Bool #

data ValueFormat Source #

Constructors

ValueFormat
Fields repr :: Maybe Text The actual text representation of the value.

Instances

Instances details

Show ValueFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> ValueFormat -> ShowS # show :: ValueFormat -> String # showList :: [ValueFormat] -> ShowS #
Default ValueFormat Source #
Instance details Defined in KDL.Types Methods def :: ValueFormat #
Eq ValueFormat Source #
Instance details Defined in KDL.Types Methods (==) :: ValueFormat -> ValueFormat -> Bool # (/=) :: ValueFormat -> ValueFormat -> Bool #

data ValueData Source #

Constructors

String Text
Number Scientific
Bool Bool
Inf
NegInf
NaN
Null

Instances

Instances details

Show ValueData Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> ValueData -> ShowS # show :: ValueData -> String # showList :: [ValueData] -> ShowS #
Eq ValueData Source #
Instance details Defined in KDL.Types Methods (==) :: ValueData -> ValueData -> Bool # (/=) :: ValueData -> ValueData -> Bool #
DecodeValue ValueData Source #
Instance details Defined in KDL.Decoder.Arrow Methods validValueTypeAnns :: Proxy ValueData -> [Text] Source # valueDecoder :: ValueDecoder ValueData Source #

Ann

data Ann Source #

Constructors

Ann
Fields identifier :: Identifier ext :: AnnExtension

Instances

Instances details

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

data AnnExtension Source #

Constructors

AnnExtension
Fields format :: Maybe AnnFormat span :: Span

Instances

Instances details

Show AnnExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> AnnExtension -> ShowS # show :: AnnExtension -> String # showList :: [AnnExtension] -> ShowS #
Default AnnExtension Source #
Instance details Defined in KDL.Types Methods def :: AnnExtension #
Eq AnnExtension Source #
Instance details Defined in KDL.Types Methods (==) :: AnnExtension -> AnnExtension -> Bool # (/=) :: AnnExtension -> AnnExtension -> Bool #

data AnnFormat Source #

Constructors

AnnFormat
Fields leading :: Text Whitespace and comments preceding the annotation itself. beforeId :: Text Whitespace and comments between the opening `(` and the identifier. afterId :: Text Whitespace and comments between the identifier and the closing `)`. trailing :: Text Whitespace and comments following the annotation itself.

Instances

Instances details

Show AnnFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> AnnFormat -> ShowS # show :: AnnFormat -> String # showList :: [AnnFormat] -> ShowS #
Default AnnFormat Source #
Instance details Defined in KDL.Types Methods def :: AnnFormat #
Eq AnnFormat Source #
Instance details Defined in KDL.Types Methods (==) :: AnnFormat -> AnnFormat -> Bool # (/=) :: AnnFormat -> AnnFormat -> Bool #

Identifier

data Identifier Source #

Constructors

Identifier
Fields value :: Text ext :: IdentifierExtension

Instances

Instances details

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

data IdentifierExtension Source #

Constructors

IdentifierExtension
Fields format :: Maybe IdentifierFormat span :: Span

Instances

Instances details

Show IdentifierExtension Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> IdentifierExtension -> ShowS # show :: IdentifierExtension -> String # showList :: [IdentifierExtension] -> ShowS #
Default IdentifierExtension Source #
Instance details Defined in KDL.Types Methods def :: IdentifierExtension #
Eq IdentifierExtension Source #
Instance details Defined in KDL.Types Methods (==) :: IdentifierExtension -> IdentifierExtension -> Bool # (/=) :: IdentifierExtension -> IdentifierExtension -> Bool #
Ord IdentifierExtension Source #
Instance details Defined in KDL.Types Methods compare :: IdentifierExtension -> IdentifierExtension -> Ordering # (<) :: IdentifierExtension -> IdentifierExtension -> Bool # (<=) :: IdentifierExtension -> IdentifierExtension -> Bool # (>) :: IdentifierExtension -> IdentifierExtension -> Bool # (>=) :: IdentifierExtension -> IdentifierExtension -> Bool # max :: IdentifierExtension -> IdentifierExtension -> IdentifierExtension # min :: IdentifierExtension -> IdentifierExtension -> IdentifierExtension #

data IdentifierFormat Source #

Constructors

IdentifierFormat
Fields repr :: Maybe Text

Instances

Instances details

Show IdentifierFormat Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> IdentifierFormat -> ShowS # show :: IdentifierFormat -> String # showList :: [IdentifierFormat] -> ShowS #
Default IdentifierFormat Source #
Instance details Defined in KDL.Types Methods def :: IdentifierFormat #
Eq IdentifierFormat Source #
Instance details Defined in KDL.Types Methods (==) :: IdentifierFormat -> IdentifierFormat -> Bool # (/=) :: IdentifierFormat -> IdentifierFormat -> Bool #
Ord IdentifierFormat Source #
Instance details Defined in KDL.Types Methods compare :: IdentifierFormat -> IdentifierFormat -> Ordering # (<) :: IdentifierFormat -> IdentifierFormat -> Bool # (<=) :: IdentifierFormat -> IdentifierFormat -> Bool # (>) :: IdentifierFormat -> IdentifierFormat -> Bool # (>=) :: IdentifierFormat -> IdentifierFormat -> Bool # max :: IdentifierFormat -> IdentifierFormat -> IdentifierFormat # min :: IdentifierFormat -> IdentifierFormat -> IdentifierFormat #

fromIdentifier :: Identifier -> Text Source #

toIdentifier :: Text -> Identifier Source #

Span

data Span Source #

The span of a KDL element, if parsed with includeSpans. If includeSpans was not enabled, all fields are set to 0.

Constructors

Span
Fields startLine :: Int startCol :: Int endLine :: Int endCol :: Int

Instances

Instances details

Show Span Source #
Instance details Defined in KDL.Types Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #
Default Span Source #
Instance details Defined in KDL.Types Methods def :: Span #
Eq Span Source #
Instance details Defined in KDL.Types Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Ord Span Source #
Instance details Defined in KDL.Types Methods compare :: Span -> Span -> Ordering # (<) :: Span -> Span -> Bool # (<=) :: Span -> Span -> Bool # (>) :: Span -> Span -> Bool # (>=) :: Span -> Span -> Bool # max :: Span -> Span -> Span # min :: Span -> Span -> Span #

Re-exports

def :: Default a => a #

The default value for this type.