Safe Haskell	None
Language	GHC2021

Telescope.Asdf.Node

Synopsis

newtype SchemaTag = SchemaTag (Maybe Text)
schemaTag :: String -> SchemaTag
data Node = Node {
- schema :: SchemaTag
- anchor :: Maybe Anchor
- value :: Value
}
data Value
- = Bool !Bool
- | Number !Scientific
- | Integer !Integer
- | String !Text
- | NDArray !NDArrayData
- | Array ![Node]
- | Object !Object
- | Reference !JSONReference
- | Alias !Anchor
- | Null
type Key = Text
type Object = [(Key, Node)]
fromValue :: Value -> Node
newtype Tree = Tree Object
data JSONReference = JSONReference {
- uri :: Text
- pointer :: JSONPointer
}
jsonReference :: Text -> JSONReference
jsonPointer :: Text -> JSONPointer
newtype JSONPointer = JSONPointer Path
newtype Anchor = Anchor {
- anchor :: Text
}
newtype Anchors = Anchors [(Anchor, Value)]

Documentation

newtype SchemaTag Source #

Specify a schema using schema from ToAsdf

Constructors

SchemaTag (Maybe Text)

Instances

Instances details

IsString SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> SchemaTag #
Monoid SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: SchemaTag # mappend :: SchemaTag -> SchemaTag -> SchemaTag # mconcat :: [SchemaTag] -> SchemaTag #
Semigroup SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: SchemaTag -> SchemaTag -> SchemaTag # sconcat :: NonEmpty SchemaTag -> SchemaTag # stimes :: Integral b => b -> SchemaTag -> SchemaTag #
Show SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> SchemaTag -> ShowS # show :: SchemaTag -> String # showList :: [SchemaTag] -> ShowS #
Eq SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: SchemaTag -> SchemaTag -> Bool # (/=) :: SchemaTag -> SchemaTag -> Bool #

schemaTag :: String -> SchemaTag Source #

data Node Source #

A Node is a Value with an optional SchemaTag and Anchor

Constructors

Node
Fields schema :: SchemaTag anchor :: Maybe Anchor value :: Value

Instances

Instances details

IsString Node Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> Node #
Show Node Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
FromAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Node Source #
ToAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Node -> Value Source # schema :: Node -> SchemaTag Source # anchor :: Node -> Maybe Anchor Source # toNode :: Node -> Node Source #

data Value Source #

All allowed node values. We can't use Aeson's Value, because it doesn't support tags, binary data, or references

Constructors

Bool !Bool
Number !Scientific
Integer !Integer
String !Text
NDArray !NDArrayData	RawBinary !ByteString
Array ![Node]
Object !Object
Reference !JSONReference
Alias !Anchor
Null

Instances

Instances details

IsString Value Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> Value #
Monoid Value Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: Value # mappend :: Value -> Value -> Value # mconcat :: [Value] -> Value #
Semigroup Value Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: Value -> Value -> Value # sconcat :: NonEmpty Value -> Value # stimes :: Integral b => b -> Value -> Value #
Show Value Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
FromAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Value Source #
ToAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Value -> Value Source # schema :: Value -> SchemaTag Source # anchor :: Value -> Maybe Anchor Source # toNode :: Value -> Node Source #

type Key = Text Source #

type Object = [(Key, Node)] Source #

fromValue :: Value -> Node Source #

Makes a node from a value

newtype Tree Source #

Root Object with all anchors resolved

Constructors

Tree Object

Instances

Instances details

Monoid Tree Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: Tree # mappend :: Tree -> Tree -> Tree # mconcat :: [Tree] -> Tree #
Semigroup Tree Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: Tree -> Tree -> Tree # sconcat :: NonEmpty Tree -> Tree # stimes :: Integral b => b -> Tree -> Tree #
Show Tree Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Tree -> ShowS # show :: Tree -> String # showList :: [Tree] -> ShowS #
FromAsdf Tree Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Tree Source #
ToAsdf Tree Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Tree -> Value Source # schema :: Tree -> SchemaTag Source # anchor :: Tree -> Maybe Anchor Source # toNode :: Tree -> Node Source #

data JSONReference Source #

Constructors

JSONReference
Fields uri :: Text pointer :: JSONPointer

Instances

Instances details

Show JSONReference Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> JSONReference -> ShowS # show :: JSONReference -> String # showList :: [JSONReference] -> ShowS #
Eq JSONReference Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: JSONReference -> JSONReference -> Bool # (/=) :: JSONReference -> JSONReference -> Bool #

jsonReference :: Text -> JSONReference Source #

jsonPointer :: Text -> JSONPointer Source #

newtype JSONPointer Source #

Constructors

JSONPointer Path

Instances

Instances details

Show JSONPointer Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> JSONPointer -> ShowS # show :: JSONPointer -> String # showList :: [JSONPointer] -> ShowS #
Eq JSONPointer Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: JSONPointer -> JSONPointer -> Bool # (/=) :: JSONPointer -> JSONPointer -> Bool #

newtype Anchor Source #

Constructors

Anchor
Fields anchor :: Text

Instances

Instances details

IsString Anchor Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> Anchor #
Show Anchor Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Anchor -> ShowS # show :: Anchor -> String # showList :: [Anchor] -> ShowS #
Eq Anchor Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Anchor -> Anchor -> Bool # (/=) :: Anchor -> Anchor -> Bool #

newtype Anchors Source #

Constructors

Anchors [(Anchor, Value)]

Instances

Instances details

Monoid Anchors Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: Anchors # mappend :: Anchors -> Anchors -> Anchors # mconcat :: [Anchors] -> Anchors #
Semigroup Anchors Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: Anchors -> Anchors -> Anchors # sconcat :: NonEmpty Anchors -> Anchors # stimes :: Integral b => b -> Anchors -> Anchors #
Show Anchors Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Anchors -> ShowS # show :: Anchors -> String # showList :: [Anchors] -> ShowS #
Eq Anchors Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Anchors -> Anchors -> Bool # (/=) :: Anchors -> Anchors -> Bool #