Safe Haskell	Safe-Inferred
Language	GHC2021

Telescope.Asdf.Core

Synopsis

data Unit
- = Count
- | Pixel
- | Degrees
- | Nanometers
- | Meters
- | Kilometers
- | Arcseconds
- | Unit Text
data Quantity = Quantity {
- unit :: Unit
- value :: Value
}
data Software = Software {
- author :: Maybe Text
- homepage :: Maybe Text
- name :: Text
- version :: Text
}
data Asdf = Asdf {
- history :: History
- library :: Software
- tree :: Tree
}
toAsdfDoc :: (ToAsdf a, Error AsdfError :> es) => a -> Eff es Asdf
data History = History {
- extensions :: [ExtensionMetadata]
}
data ExtensionMetadata = ExtensionMetadata {
- extension_class :: Text
- software :: Software
}

Documentation

data Unit Source #

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
Meters
Kilometers
Arcseconds
Unit Text

Instances

Instances details

Eq Unit Source #
Instance details Defined in Telescope.Asdf.Core Methods (==) :: Unit -> Unit -> Bool # (/=) :: Unit -> Unit -> Bool #
FromAsdf Unit Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Unit Source #
ToAsdf Unit Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: Unit -> Value Source # schema :: Unit -> SchemaTag Source # anchor :: Unit -> Maybe Anchor Source # toNode :: Unit -> Node Source #

data Quantity Source #

Tag a value with a Unit

Constructors

Quantity
Fields unit :: Unit value :: Value

Instances

Instances details

Generic Quantity Source #
Instance details Defined in Telescope.Asdf.Core Associated Types type Rep Quantity :: Type -> Type # Methods from :: Quantity -> Rep Quantity x # to :: Rep Quantity x -> Quantity #
FromAsdf Quantity Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Quantity Source #
ToAsdf Quantity Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: Quantity -> Value Source # schema :: Quantity -> SchemaTag Source # anchor :: Quantity -> Maybe Anchor Source # toNode :: Quantity -> Node Source #
type Rep Quantity Source #
Instance details Defined in Telescope.Asdf.Core type Rep Quantity = D1 ('MetaData "Quantity" "Telescope.Asdf.Core" "telescope-0.3.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 Source #

Required Software node at the top-level

Constructors

Software
Fields author :: Maybe Text homepage :: Maybe Text name :: Text version :: Text

Instances

Instances details

Generic Software Source #
Instance details Defined in Telescope.Asdf.Core Associated Types type Rep Software :: Type -> Type # Methods from :: Software -> Rep Software x # to :: Rep Software x -> Software #
Show Software Source #
Instance details Defined in Telescope.Asdf.Core Methods showsPrec :: Int -> Software -> ShowS # show :: Software -> String # showList :: [Software] -> ShowS #
Eq Software Source #
Instance details Defined in Telescope.Asdf.Core Methods (==) :: Software -> Software -> Bool # (/=) :: Software -> Software -> Bool #
FromAsdf Software Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Software Source #
ToAsdf Software Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: Software -> Value Source # schema :: Software -> SchemaTag Source # anchor :: Software -> Maybe Anchor Source # toNode :: Software -> Node Source #
type Rep Software Source #
Instance details Defined in Telescope.Asdf.Core type Rep Software = D1 ('MetaData "Software" "Telescope.Asdf.Core" "telescope-0.3.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 Source #

Root ASDF node

Constructors

Asdf
Fields history :: History library :: Software tree :: Tree

Instances

Instances details

FromAsdf Asdf Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Asdf Source #
ToAsdf Asdf Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: Asdf -> Value Source # schema :: Asdf -> SchemaTag Source # anchor :: Asdf -> Maybe Anchor Source # toNode :: Asdf -> Node Source #

toAsdfDoc :: (ToAsdf a, Error AsdfError :> es) => a -> Eff es Asdf Source #

Convert any ToAsdf into a raw Asdf document

data History Source #

Constructors

History
Fields extensions :: [ExtensionMetadata]

Instances

Instances details

Generic History Source #
Instance details Defined in Telescope.Asdf.Core Associated Types type Rep History :: Type -> Type # Methods from :: History -> Rep History x # to :: Rep History x -> History #
Show History Source #
Instance details Defined in Telescope.Asdf.Core Methods showsPrec :: Int -> History -> ShowS # show :: History -> String # showList :: [History] -> ShowS #
FromAsdf History Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es History Source #
ToAsdf History Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: History -> Value Source # schema :: History -> SchemaTag Source # anchor :: History -> Maybe Anchor Source # toNode :: History -> Node Source #
type Rep History Source #
Instance details Defined in Telescope.Asdf.Core type Rep History = D1 ('MetaData "History" "Telescope.Asdf.Core" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "History" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExtensionMetadata])))

data ExtensionMetadata Source #

Constructors

ExtensionMetadata
Fields extension_class :: Text software :: Software

Instances

Instances details

Generic ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core Associated Types type Rep ExtensionMetadata :: Type -> Type # Methods from :: ExtensionMetadata -> Rep ExtensionMetadata x # to :: Rep ExtensionMetadata x -> ExtensionMetadata #
Show ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core Methods showsPrec :: Int -> ExtensionMetadata -> ShowS # show :: ExtensionMetadata -> String # showList :: [ExtensionMetadata] -> ShowS #
FromAsdf ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es ExtensionMetadata Source #
ToAsdf ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core Methods toValue :: ExtensionMetadata -> Value Source # schema :: ExtensionMetadata -> SchemaTag Source # anchor :: ExtensionMetadata -> Maybe Anchor Source # toNode :: ExtensionMetadata -> Node Source #
type Rep ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core type Rep ExtensionMetadata = D1 ('MetaData "ExtensionMetadata" "Telescope.Asdf.Core" "telescope-0.3.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)))