Safe Haskell	Safe-Inferred
Language	GHC2021

Telescope.Asdf.GWCS

Synopsis

data GWCS inp out = GWCS (GWCSStep inp) (GWCSStep out)
data GWCSStep frame = GWCSStep {
- frame :: frame
- transform :: Maybe Transformation
}
newtype AxisName = AxisName Text
newtype AxisType = AxisType Text
data Pix a
data Rot a
newtype Lon = Lon Double
newtype Lat = Lat Double
newtype LonPole = LonPole Double
data Transformation = Transformation {
- inputs :: [AxisName]
- outputs :: [AxisName]
- forward :: Forward
}
data Forward
- = Compose Transformation Transformation
- | Concat Transformation Transformation
- | Direct {
  - schemaTag :: SchemaTag
  - fields :: Value
  }
data Transform b c = Transform {
- transformation :: Transformation
}
transform :: forall a bs cs. (ToAsdf a, ToAxes bs, ToAxes cs) => a -> Transform bs cs
(|>) :: forall b c d. (ToAxes b, ToAxes d) => Transform b c -> Transform c d -> Transform b d
(<&>) :: forall (a :: Type) (b :: Type) (cs :: Type) (ds :: Type). (ToAxes (TConcat a cs), ToAxes (TConcat b ds)) => Transform a b -> Transform cs ds -> Transform (TConcat a cs) (TConcat b ds)
data Direction
- = Pix2Sky
- | Native2Celestial
data Shift a = Shift Double
data Scale a = Scale Double
data Identity = Identity
data Intercept = Intercept Double
data Affine = Affine {
- matrix :: Array D Ix2 Double
- translation :: (Double, Double)
}
data Projection = Projection Direction
data Rotate3d = Rotate3d {
- direction :: Direction
- phi :: Lon
- theta :: Lat
- psi :: LonPole
}
data Linear a = Linear1d {
- intercept :: Double
- slope :: Double
}
data CoordinateFrame = CoordinateFrame {
- name :: Text
- axes :: NonEmpty FrameAxis
}
data StokesFrame = StokesFrame {
- name :: Text
- axisOrder :: Int
}
data SpectralFrame = SpectralFrame {
- name :: Text
- axisOrder :: Int
}
data CelestialFrame ref = CelestialFrame {
- name :: Text
- axes :: NonEmpty FrameAxis
- referenceFrame :: ref
}
frameAxesObject :: NonEmpty FrameAxis -> Object
data ICRSFrame = ICRSFrame
data HelioprojectiveFrame = HelioprojectiveFrame {
- coordinates :: Cartesian3D
- obstime :: UTCTime
- rsun :: Quantity
}
data HelioObserver = HelioObserver {
- coordinates :: CartesianRepresentation Cartesian3D
- observation :: HelioObservation
}
data HelioObservation = HelioObservation {
- obstime :: UTCTime
- rsun :: Quantity
}
data Cartesian3D = Cartesian3D {
- x :: Quantity
- y :: Quantity
- z :: Quantity
}
data CartesianRepresentation dims = CartesianRepresentation dims
data FrameAxis = FrameAxis {
- axisOrder :: Int
- axisName :: AxisName
- axisType :: AxisType
- unit :: Unit
}
data CompositeFrame as = CompositeFrame as
class ToAxes (as :: Type) where
- toAxes :: [AxisName]
shift :: forall a f. (ToAxes (f a), ToAxes (Shift a)) => Double -> Transform (f a) (Shift a)
scale :: forall a f. (ToAxes (f a), ToAxes (Scale a)) => Double -> Transform (f a) (Scale a)
linear :: forall a. ToAxes a => Intercept -> Scale a -> Transform (Pix a) (Linear a)
rotate :: (ToAxes x, ToAxes y) => Array D Ix2 Double -> Transform (Linear x, Linear y) (Rot (x, y))
project :: (ToAxes x, ToAxes y) => Direction -> Transform (Rot (x, y)) (Phi, Theta)
celestial :: Lat -> Lon -> LonPole -> Transform (Phi, Theta) (Alpha, Delta)
data Phi
data Theta
data Alpha
data Delta
identity :: (ToAxes bs, ToAxes cs) => Transform bs cs
wcsLinear :: ToAxes axis => WCSAxis alt axis -> Transform (Pix axis) (Linear axis)
wcsIntercept :: WCSAxis alt axis -> Intercept
class GTypeName f where
- gtypeName :: f p -> String
type family TConcat a b where ...

Documentation

data GWCS inp out Source #

GWCS pipelines consist of an input and output GWCSStep

Constructors

GWCS (GWCSStep inp) (GWCSStep out)

Instances

Instances details

(ToAsdf inp, ToAsdf out) => ToAsdf (GWCS inp out) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: GWCS inp out -> Value Source # schema :: GWCS inp out -> SchemaTag Source # anchor :: GWCS inp out -> Maybe Anchor Source # toNode :: GWCS inp out -> Node Source #

data GWCSStep frame Source #

A step contains a frame (like CelestialFrame) and a 'Transform a b'

Constructors

GWCSStep
Fields frame :: frame transform :: Maybe Transformation

Instances

Instances details

Generic (GWCSStep frame) Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep (GWCSStep frame) :: Type -> Type # Methods from :: GWCSStep frame -> Rep (GWCSStep frame) x # to :: Rep (GWCSStep frame) x -> GWCSStep frame #
ToAsdf frame => ToAsdf (GWCSStep frame) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: GWCSStep frame -> Value Source # schema :: GWCSStep frame -> SchemaTag Source # anchor :: GWCSStep frame -> Maybe Anchor Source # toNode :: GWCSStep frame -> Node Source #
type Rep (GWCSStep frame) Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep (GWCSStep frame) = D1 ('MetaData "GWCSStep" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "GWCSStep" 'PrefixI 'True) (S1 ('MetaSel ('Just "frame") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 frame) :*: S1 ('MetaSel ('Just "transform") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Transformation))))

newtype AxisName Source #

Constructors

AxisName Text

Instances

Instances details

IsString AxisName Source #
Instance details Defined in Telescope.Asdf.GWCS Methods fromString :: String -> AxisName #
Semigroup AxisName Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (<>) :: AxisName -> AxisName -> AxisName # sconcat :: NonEmpty AxisName -> AxisName # stimes :: Integral b => b -> AxisName -> AxisName #
Show AxisName Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> AxisName -> ShowS # show :: AxisName -> String # showList :: [AxisName] -> ShowS #
Eq AxisName Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (==) :: AxisName -> AxisName -> Bool # (/=) :: AxisName -> AxisName -> Bool #
ToAsdf AxisName Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: AxisName -> Value Source # schema :: AxisName -> SchemaTag Source # anchor :: AxisName -> Maybe Anchor Source # toNode :: AxisName -> Node Source #

newtype AxisType Source #

Constructors

AxisType Text

Instances

Instances details

IsString AxisType Source #
Instance details Defined in Telescope.Asdf.GWCS Methods fromString :: String -> AxisType #
ToAsdf AxisType Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: AxisType -> Value Source # schema :: AxisType -> SchemaTag Source # anchor :: AxisType -> Maybe Anchor Source # toNode :: AxisType -> Node Source #

data Pix a Source #

Instances

Instances details

ToAxes a => ToAxes (Pix a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #

data Rot a Source #

Instances

Instances details

ToAxes a => ToAxes (Rot a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #

newtype Lon Source #

Constructors

Lon Double

Instances

Instances details

ToAsdf Lon Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Lon -> Value Source # schema :: Lon -> SchemaTag Source # anchor :: Lon -> Maybe Anchor Source # toNode :: Lon -> Node Source #

newtype Lat Source #

Constructors

Lat Double

Instances

Instances details

ToAsdf Lat Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Lat -> Value Source # schema :: Lat -> SchemaTag Source # anchor :: Lat -> Maybe Anchor Source # toNode :: Lat -> Node Source #

newtype LonPole Source #

Constructors

LonPole Double

Instances

Instances details

ToAsdf LonPole Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: LonPole -> Value Source # schema :: LonPole -> SchemaTag Source # anchor :: LonPole -> Maybe Anchor Source # toNode :: LonPole -> Node Source #

data Transformation Source #

A Tranform with the types stripped, and the axes recorded

Constructors

Transformation
Fields inputs :: [AxisName] outputs :: [AxisName] forward :: Forward

Instances

Instances details

Show Transformation Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Transformation -> ShowS # show :: Transformation -> String # showList :: [Transformation] -> ShowS #
Eq Transformation Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (==) :: Transformation -> Transformation -> Bool # (/=) :: Transformation -> Transformation -> Bool #
ToAsdf Transformation Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Transformation -> Value Source # schema :: Transformation -> SchemaTag Source # anchor :: Transformation -> Maybe Anchor Source # toNode :: Transformation -> Node Source #

data Forward Source #

Constructors

Compose Transformation Transformation
Concat Transformation Transformation
Direct
Fields schemaTag :: SchemaTag fields :: Value

Instances

Instances details

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

data Transform b c Source #

A Transform specifies how we manipulate a type in a pipeline

spatialTransform :: WCSAxis s X -> WCSAxis s Y -> Transform (Pix X, PixY) (Scale X, Scale Y)
spatialTransform wcsx wcsy =
  let dx = shift wcsx.crpix :: Transform (Pix X) (Shift X)
      dy = shift wcsy.crpix :: Transform (Pix Y) (Shift Y)
      xx = scale wcsx.cdelt :: Transform (Shift X) (Scale X)
      xy = scale wcsy.cdelt :: Transform (Shift Y) (Scale Y)
  in dx |> xx <&> dy |> xy

Constructors

Transform
Fields transformation :: Transformation

Instances

Instances details

Show (Transform b c) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Transform b c -> ShowS # show :: Transform b c -> String # showList :: [Transform b c] -> ShowS #

transform :: forall a bs cs. (ToAsdf a, ToAxes bs, ToAxes cs) => a -> Transform bs cs Source #

Convert a type into a Transform via ToAsdf and ToAxes

(|>) :: forall b c d. (ToAxes b, ToAxes d) => Transform b c -> Transform c d -> Transform b d infixr 5 Source #

Compose two transforms

(<&>) :: forall (a :: Type) (b :: Type) (cs :: Type) (ds :: Type). (ToAxes (TConcat a cs), ToAxes (TConcat b ds)) => Transform a b -> Transform cs ds -> Transform (TConcat a cs) (TConcat b ds) infixr 4 Source #

Concatent two transforms

data Direction Source #

Constructors

Pix2Sky
Native2Celestial

Instances

Instances details

Show Direction Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
ToAsdf Direction Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Direction -> Value Source # schema :: Direction -> SchemaTag Source # anchor :: Direction -> Maybe Anchor Source # toNode :: Direction -> Node Source #

data Shift a Source #

Constructors

Shift Double

Instances

Instances details

Show (Shift a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Shift a -> ShowS # show :: Shift a -> String # showList :: [Shift a] -> ShowS #
Eq (Shift a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (==) :: Shift a -> Shift a -> Bool # (/=) :: Shift a -> Shift a -> Bool #
ToAsdf (Shift a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Shift a -> Value Source # schema :: Shift a -> SchemaTag Source # anchor :: Shift a -> Maybe Anchor Source # toNode :: Shift a -> Node Source #
ToAxes a => ToAxes (Shift a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #

data Scale a Source #

Constructors

Scale Double

Instances

Instances details

Show (Scale a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Scale a -> ShowS # show :: Scale a -> String # showList :: [Scale a] -> ShowS #
Eq (Scale a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (==) :: Scale a -> Scale a -> Bool # (/=) :: Scale a -> Scale a -> Bool #
ToAsdf (Scale a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Scale a -> Value Source # schema :: Scale a -> SchemaTag Source # anchor :: Scale a -> Maybe Anchor Source # toNode :: Scale a -> Node Source #
ToAxes a => ToAxes (Scale a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #

data Identity Source #

Constructors

Identity

Instances

Instances details

Show Identity Source #
Instance details Defined in Telescope.Asdf.GWCS Methods showsPrec :: Int -> Identity -> ShowS # show :: Identity -> String # showList :: [Identity] -> ShowS #
Eq Identity Source #
Instance details Defined in Telescope.Asdf.GWCS Methods (==) :: Identity -> Identity -> Bool # (/=) :: Identity -> Identity -> Bool #
ToAsdf Identity Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Identity -> Value Source # schema :: Identity -> SchemaTag Source # anchor :: Identity -> Maybe Anchor Source # toNode :: Identity -> Node Source #

data Intercept Source #

Constructors

Intercept Double

Instances

Instances details

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

data Affine Source #

Constructors

Affine
Fields matrix :: Array D Ix2 Double translation :: (Double, Double)

Instances

Instances details

ToAsdf Affine Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Affine -> Value Source # schema :: Affine -> SchemaTag Source # anchor :: Affine -> Maybe Anchor Source # toNode :: Affine -> Node Source #

data Projection Source #

Constructors

Projection Direction

Instances

Instances details

ToAsdf Projection Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Projection -> Value Source # schema :: Projection -> SchemaTag Source # anchor :: Projection -> Maybe Anchor Source # toNode :: Projection -> Node Source #

data Rotate3d Source #

Constructors

Rotate3d
Fields direction :: Direction phi :: Lon theta :: Lat psi :: LonPole

Instances

Instances details

Generic Rotate3d Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Rotate3d :: Type -> Type # Methods from :: Rotate3d -> Rep Rotate3d x # to :: Rep Rotate3d x -> Rotate3d #
ToAsdf Rotate3d Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Rotate3d -> Value Source # schema :: Rotate3d -> SchemaTag Source # anchor :: Rotate3d -> Maybe Anchor Source # toNode :: Rotate3d -> Node Source #
type Rep Rotate3d Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Rotate3d = D1 ('MetaData "Rotate3d" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "Rotate3d" 'PrefixI 'True) ((S1 ('MetaSel ('Just "direction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Direction) :: S1 ('MetaSel ('Just "phi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lon)) :: (S1 ('MetaSel ('Just "theta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lat) :*: S1 ('MetaSel ('Just "psi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LonPole))))

data Linear a Source #

Constructors

Linear1d
Fields intercept :: Double slope :: Double

Instances

Instances details

Generic (Linear a) Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep (Linear a) :: Type -> Type # Methods from :: Linear a -> Rep (Linear a) x # to :: Rep (Linear a) x -> Linear a #
ToAsdf (Linear a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Linear a -> Value Source # schema :: Linear a -> SchemaTag Source # anchor :: Linear a -> Maybe Anchor Source # toNode :: Linear a -> Node Source #
ToAxes a => ToAxes (Linear a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
type Rep (Linear a) Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep (Linear a) = D1 ('MetaData "Linear" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "Linear1d" 'PrefixI 'True) (S1 ('MetaSel ('Just "intercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "slope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)))

data CoordinateFrame Source #

Constructors

CoordinateFrame
Fields name :: Text axes :: NonEmpty FrameAxis

Instances

Instances details

ToAsdf CoordinateFrame Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: CoordinateFrame -> Value Source # schema :: CoordinateFrame -> SchemaTag Source # anchor :: CoordinateFrame -> Maybe Anchor Source # toNode :: CoordinateFrame -> Node Source #

data StokesFrame Source #

Constructors

StokesFrame
Fields name :: Text axisOrder :: Int

Instances

Instances details

ToAsdf StokesFrame Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: StokesFrame -> Value Source # schema :: StokesFrame -> SchemaTag Source # anchor :: StokesFrame -> Maybe Anchor Source # toNode :: StokesFrame -> Node Source #

data SpectralFrame Source #

Constructors

SpectralFrame
Fields name :: Text axisOrder :: Int

Instances

Instances details

ToAsdf SpectralFrame Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: SpectralFrame -> Value Source # schema :: SpectralFrame -> SchemaTag Source # anchor :: SpectralFrame -> Maybe Anchor Source # toNode :: SpectralFrame -> Node Source #

data CelestialFrame ref Source #

Constructors

CelestialFrame
Fields name :: Text axes :: NonEmpty FrameAxis referenceFrame :: ref

Instances

Instances details

ToAsdf ref => ToAsdf (CelestialFrame ref) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: CelestialFrame ref -> Value Source # schema :: CelestialFrame ref -> SchemaTag Source # anchor :: CelestialFrame ref -> Maybe Anchor Source # toNode :: CelestialFrame ref -> Node Source #

frameAxesObject :: NonEmpty FrameAxis -> Object Source #

data ICRSFrame Source #

Constructors

ICRSFrame

Instances

Instances details

ToAsdf ICRSFrame Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: ICRSFrame -> Value Source # schema :: ICRSFrame -> SchemaTag Source # anchor :: ICRSFrame -> Maybe Anchor Source # toNode :: ICRSFrame -> Node Source #

data HelioprojectiveFrame Source #

Constructors

HelioprojectiveFrame
Fields coordinates :: Cartesian3D obstime :: UTCTime rsun :: Quantity

Instances

Instances details

ToAsdf HelioprojectiveFrame Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: HelioprojectiveFrame -> Value Source # schema :: HelioprojectiveFrame -> SchemaTag Source # anchor :: HelioprojectiveFrame -> Maybe Anchor Source # toNode :: HelioprojectiveFrame -> Node Source #

data HelioObserver Source #

Constructors

HelioObserver
Fields coordinates :: CartesianRepresentation Cartesian3D observation :: HelioObservation

Instances

Instances details

ToAsdf HelioObserver Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: HelioObserver -> Value Source # schema :: HelioObserver -> SchemaTag Source # anchor :: HelioObserver -> Maybe Anchor Source # toNode :: HelioObserver -> Node Source #

data HelioObservation Source #

Constructors

HelioObservation
Fields obstime :: UTCTime rsun :: Quantity

Instances

Instances details

Generic HelioObservation Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep HelioObservation :: Type -> Type # Methods from :: HelioObservation -> Rep HelioObservation x # to :: Rep HelioObservation x -> HelioObservation #
ToAsdf HelioObservation Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: HelioObservation -> Value Source # schema :: HelioObservation -> SchemaTag Source # anchor :: HelioObservation -> Maybe Anchor Source # toNode :: HelioObservation -> Node Source #
type Rep HelioObservation Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep HelioObservation = D1 ('MetaData "HelioObservation" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "HelioObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "obstime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "rsun") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Quantity)))

data Cartesian3D Source #

Constructors

Cartesian3D
Fields x :: Quantity y :: Quantity z :: Quantity

Instances

Instances details

Generic Cartesian3D Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Cartesian3D :: Type -> Type # Methods from :: Cartesian3D -> Rep Cartesian3D x # to :: Rep Cartesian3D x -> Cartesian3D #
ToAsdf Cartesian3D Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: Cartesian3D -> Value Source # schema :: Cartesian3D -> SchemaTag Source # anchor :: Cartesian3D -> Maybe Anchor Source # toNode :: Cartesian3D -> Node Source #
type Rep Cartesian3D Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Cartesian3D = D1 ('MetaData "Cartesian3D" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (C1 ('MetaCons "Cartesian3D" 'PrefixI 'True) (S1 ('MetaSel ('Just "x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Quantity) :: (S1 ('MetaSel ('Just "y") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Quantity) :: S1 ('MetaSel ('Just "z") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Quantity))))

data CartesianRepresentation dims Source #

Constructors

CartesianRepresentation dims

Instances

Instances details

ToAsdf dims => ToAsdf (CartesianRepresentation dims) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: CartesianRepresentation dims -> Value Source # schema :: CartesianRepresentation dims -> SchemaTag Source # anchor :: CartesianRepresentation dims -> Maybe Anchor Source # toNode :: CartesianRepresentation dims -> Node Source #

data FrameAxis Source #

Constructors

FrameAxis
Fields axisOrder :: Int axisName :: AxisName axisType :: AxisType unit :: Unit

data CompositeFrame as Source #

Constructors

CompositeFrame as

Instances

Instances details

ToAsdf as => ToAsdf (CompositeFrame as) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toValue :: CompositeFrame as -> Value Source # schema :: CompositeFrame as -> SchemaTag Source # anchor :: CompositeFrame as -> Maybe Anchor Source # toNode :: CompositeFrame as -> Node Source #

class ToAxes (as :: Type) where Source #

Convert a type to named axes

data X deriving (Generic, ToAxes)
data Y
instance ToAxes Y where
  toAxes = ["y"]

Minimal complete definition

Nothing

Methods

toAxes :: [AxisName] Source #

default toAxes :: (Generic as, GTypeName (Rep as)) => [AxisName] Source #

Instances

Instances details

ToAxes Alpha Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes Delta Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes Phi Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes Theta Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes () Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes a => ToAxes (Linear a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes a => ToAxes (Pix a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes a => ToAxes (Rot a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes a => ToAxes (Scale a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
ToAxes a => ToAxes (Shift a) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
(ToAxes a, ToAxes b) => ToAxes (a, b) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
(ToAxes a, ToAxes b, ToAxes c) => ToAxes (a, b, c) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
(ToAxes a, ToAxes b, ToAxes c, ToAxes d) => ToAxes (a, b, c, d) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #

shift :: forall a f. (ToAxes (f a), ToAxes (Shift a)) => Double -> Transform (f a) (Shift a) Source #

scale :: forall a f. (ToAxes (f a), ToAxes (Scale a)) => Double -> Transform (f a) (Scale a) Source #

linear :: forall a. ToAxes a => Intercept -> Scale a -> Transform (Pix a) (Linear a) Source #

rotate :: (ToAxes x, ToAxes y) => Array D Ix2 Double -> Transform (Linear x, Linear y) (Rot (x, y)) Source #

project :: (ToAxes x, ToAxes y) => Direction -> Transform (Rot (x, y)) (Phi, Theta) Source #

celestial :: Lat -> Lon -> LonPole -> Transform (Phi, Theta) (Alpha, Delta) Source #

data Phi Source #

Instances

Instances details

Generic Phi Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Phi :: Type -> Type # Methods from :: Phi -> Rep Phi x # to :: Rep Phi x -> Phi #
ToAxes Phi Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
type Rep Phi Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Phi = D1 ('MetaData "Phi" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (V1 :: Type -> Type)

data Theta Source #

Instances

Instances details

Generic Theta Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Theta :: Type -> Type # Methods from :: Theta -> Rep Theta x # to :: Rep Theta x -> Theta #
ToAxes Theta Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
type Rep Theta Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Theta = D1 ('MetaData "Theta" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (V1 :: Type -> Type)

data Alpha Source #

Instances

Instances details

Generic Alpha Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Alpha :: Type -> Type # Methods from :: Alpha -> Rep Alpha x # to :: Rep Alpha x -> Alpha #
ToAxes Alpha Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
type Rep Alpha Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Alpha = D1 ('MetaData "Alpha" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (V1 :: Type -> Type)

data Delta Source #

Instances

Instances details

Generic Delta Source #
Instance details Defined in Telescope.Asdf.GWCS Associated Types type Rep Delta :: Type -> Type # Methods from :: Delta -> Rep Delta x # to :: Rep Delta x -> Delta #
ToAxes Delta Source #
Instance details Defined in Telescope.Asdf.GWCS Methods toAxes :: [AxisName] Source #
type Rep Delta Source #
Instance details Defined in Telescope.Asdf.GWCS type Rep Delta = D1 ('MetaData "Delta" "Telescope.Asdf.GWCS" "telescope-0.3.0-inplace" 'False) (V1 :: Type -> Type)

identity :: (ToAxes bs, ToAxes cs) => Transform bs cs Source #

wcsLinear :: ToAxes axis => WCSAxis alt axis -> Transform (Pix axis) (Linear axis) Source #

wcsIntercept :: WCSAxis alt axis -> Intercept Source #

class GTypeName f where Source #

Generic NodeName

Methods

gtypeName :: f p -> String Source #

Instances

Instances details

Datatype d => GTypeName (D1 d f :: k -> Type) Source #
Instance details Defined in Telescope.Asdf.GWCS Methods gtypeName :: forall (p :: k0). D1 d f p -> String Source #

type family TConcat a b where ... Source #

Equations

TConcat (a, b, c) d = (a, b, c, d)
TConcat a (b, c, d) = (a, b, c, d)
TConcat (a, b) (c, d) = (a, b, c, d)
TConcat (a, b) c = (a, b, c)
TConcat a (b, c) = (a, b, c)
TConcat a b = (a, b)