Telescope.Asdf.Core

Documentation

data Unit

VOUnit: https://www.ivoa.net/documents/VOUnits/20231215/REC-VOUnits-1.1.html - Unrecognised units should be accepted by parsers, as long as they are parsed giving preference to the syntaxes and prefixes described here.

Constructors

Count

Pixel

Degrees

Nanometers

Unit Text

Instances

Eq Unit

Defined in Telescope.Asdf.Core

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

FromAsdf Unit

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Unit

ToAsdf Unit

Defined in Telescope.Asdf.Core

Methods

toValue :: Unit -> Value

schema :: Unit -> SchemaTag

anchor :: Unit -> Maybe Anchor

toNode :: Unit -> Node

data Quantity

Tag a value with a Unit

Constructors

Quantity

Fields

• unit :: Unit
• value :: Value

Instances

Generic Quantity

Defined in Telescope.Asdf.Core

Associated Types

type Rep Quantity

Defined in Telescope.Asdf.Core

type Rep Quantity = D1 ('MetaData "Quantity" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "Quantity" 'PrefixI 'True) (S1 ('MetaSel ('Just "unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Unit) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)))

Methods

from :: Quantity -> Rep Quantity x

to :: Rep Quantity x -> Quantity

FromAsdf Quantity

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Quantity

ToAsdf Quantity

Defined in Telescope.Asdf.Core

Methods

toValue :: Quantity -> Value

schema :: Quantity -> SchemaTag

anchor :: Quantity -> Maybe Anchor

toNode :: Quantity -> Node

type Rep Quantity

Defined in Telescope.Asdf.Core

type Rep Quantity = D1 ('MetaData "Quantity" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "Quantity" 'PrefixI 'True) (S1 ('MetaSel ('Just "unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Unit) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)))

data Software

Required Software node at the top-level

Constructors

Software

Fields

• author :: Maybe Text
• homepage :: Maybe Text
• name :: Text
• version :: Text

Instances

Generic Software

Defined in Telescope.Asdf.Core

Associated Types

type Rep Software

Defined in Telescope.Asdf.Core

type Rep Software = D1 ('MetaData "Software" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "Software" 'PrefixI 'True) ((S1 ('MetaSel ('Just "author") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "homepage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

Methods

from :: Software -> Rep Software x

to :: Rep Software x -> Software

Show Software

Defined in Telescope.Asdf.Core

Methods

showsPrec :: Int -> Software -> ShowS

show :: Software -> String

showList :: [Software] -> ShowS

Eq Software

Defined in Telescope.Asdf.Core

Methods

(==) :: Software -> Software -> Bool

(/=) :: Software -> Software -> Bool

FromAsdf Software

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Software

ToAsdf Software

Defined in Telescope.Asdf.Core

Methods

toValue :: Software -> Value

schema :: Software -> SchemaTag

anchor :: Software -> Maybe Anchor

toNode :: Software -> Node

type Rep Software

Defined in Telescope.Asdf.Core

type Rep Software = D1 ('MetaData "Software" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "Software" 'PrefixI 'True) ((S1 ('MetaSel ('Just "author") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "homepage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data Asdf

Root ASDF node

Constructors

Asdf

Fields

• history :: History
• library :: Software
• tree :: Tree

Instances

FromAsdf Asdf

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Asdf

ToAsdf Asdf

Defined in Telescope.Asdf.Core

Methods

toValue :: Asdf -> Value

schema :: Asdf -> SchemaTag

anchor :: Asdf -> Maybe Anchor

toNode :: Asdf -> Node

toAsdfDoc :: forall a (es :: [Effect]). (ToAsdf a, Error AsdfError :> es) => a -> Eff es Asdf

Convert any ToAsdf into a raw Asdf document

data History

Constructors

History

Fields

• extensions :: [ExtensionMetadata]

Instances

Generic History

Defined in Telescope.Asdf.Core

Associated Types

type Rep History

Defined in Telescope.Asdf.Core

type Rep History = D1 ('MetaData "History" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "History" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExtensionMetadata])))

Methods

from :: History -> Rep History x

to :: Rep History x -> History

Show History

Defined in Telescope.Asdf.Core

Methods

showsPrec :: Int -> History -> ShowS

show :: History -> String

showList :: [History] -> ShowS

FromAsdf History

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es History

ToAsdf History

Defined in Telescope.Asdf.Core

Methods

toValue :: History -> Value

schema :: History -> SchemaTag

anchor :: History -> Maybe Anchor

toNode :: History -> Node

type Rep History

Defined in Telescope.Asdf.Core

type Rep History = D1 ('MetaData "History" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "History" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExtensionMetadata])))

data ExtensionMetadata

Constructors

ExtensionMetadata

Fields

• extension_class :: Text
• software :: Software

Instances

Generic ExtensionMetadata

Defined in Telescope.Asdf.Core

Associated Types

type Rep ExtensionMetadata

Defined in Telescope.Asdf.Core

type Rep ExtensionMetadata = D1 ('MetaData "ExtensionMetadata" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "ExtensionMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "extension_class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "software") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Software)))

Methods

from :: ExtensionMetadata -> Rep ExtensionMetadata x

to :: Rep ExtensionMetadata x -> ExtensionMetadata

Show ExtensionMetadata

Defined in Telescope.Asdf.Core

Methods

showsPrec :: Int -> ExtensionMetadata -> ShowS

show :: ExtensionMetadata -> String

showList :: [ExtensionMetadata] -> ShowS

FromAsdf ExtensionMetadata

Defined in Telescope.Asdf.Core

Methods

parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es ExtensionMetadata

ToAsdf ExtensionMetadata

Defined in Telescope.Asdf.Core

Methods

toValue :: ExtensionMetadata -> Value

schema :: ExtensionMetadata -> SchemaTag

anchor :: ExtensionMetadata -> Maybe Anchor

toNode :: ExtensionMetadata -> Node

type Rep ExtensionMetadata

Defined in Telescope.Asdf.Core

type Rep ExtensionMetadata = D1 ('MetaData "ExtensionMetadata" "Telescope.Asdf.Core" "telescope-0.2.0-inplace" 'False) (C1 ('MetaCons "ExtensionMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "extension_class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "software") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Software)))