telescope-0.2.0: Astronomical Observations (FITS, ASDF, WCS, etc)
Safe HaskellNone
LanguageGHC2021

Telescope.Fits.Header.Class

Documentation

class ToKeyword a where Source #

Minimal complete definition

toKeywordValue

Methods

toKeywordValue :: a -> Value Source #

toKeywordRecord :: Text -> a -> KeywordRecord Source #

default toKeywordRecord :: Text -> a -> KeywordRecord Source #

Instances

Instances details
ToKeyword CType Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: CType -> Value Source #

toKeywordRecord :: Text -> CType -> KeywordRecord Source #

ToKeyword CUnit Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: CUnit -> Value Source #

toKeywordRecord :: Text -> CUnit -> KeywordRecord Source #

ToKeyword Text Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: Text -> Value Source #

toKeywordRecord :: Text -> Text -> KeywordRecord Source #

ToKeyword Bool Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: Bool -> Value Source #

toKeywordRecord :: Text -> Bool -> KeywordRecord Source #

ToKeyword Float Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: Float -> Value Source #

toKeywordRecord :: Text -> Float -> KeywordRecord Source #

ToKeyword Int Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toKeywordValue :: Int -> Value Source #

toKeywordRecord :: Text -> Int -> KeywordRecord Source #

class FromKeyword a where Source #

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es a Source #

Instances

Instances details
FromKeyword CType Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es CType Source #

FromKeyword CUnit Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es CUnit Source #

FromKeyword Text Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Text Source #

FromKeyword Bool Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Bool Source #

FromKeyword Float Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Float Source #

FromKeyword Int Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int Source #

class ToHeader a where Source #

Minimal complete definition

Nothing

Methods

toHeader :: a -> Header Source #

default toHeader :: (Generic a, GToHeader (Rep a)) => a -> Header Source #

Instances

Instances details
ToHeader a => ToHeader (Maybe a) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toHeader :: Maybe a -> Header Source #

ToHeader a => ToHeader [a] Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toHeader :: [a] -> Header Source #

(AxisOrder ax, KnownText alt) => ToHeader (WCSAxis alt ax) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

toHeader :: WCSAxis alt ax -> Header Source #

class FromHeader a where Source #

Minimal complete definition

Nothing

Methods

parseHeader :: forall (es :: [Effect]). Parser :> es => Header -> Eff es a Source #

default parseHeader :: forall (es :: [Effect]). (Generic a, GFromHeader (Rep a), Parser :> es) => Header -> Eff es a Source #

Instances

Instances details
(AxisOrder ax, KnownText alt) => FromHeader (WCSAxis alt ax) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

parseHeader :: forall (es :: [Effect]). Parser :> es => Header -> Eff es (WCSAxis alt ax) Source #

parseKeyword :: forall a (es :: [Effect]). (FromKeyword a, Parser :> es) => Text -> Header -> Eff es a Source #

class GToHeader (f :: k -> Type) where Source #

Methods

gToHeader :: forall (p :: k). f p -> Header Source #

Instances

Instances details
(GToHeader f, GToHeader g) => GToHeader (f :*: g :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). (f :*: g) p -> Header Source #

GToHeader f => GToHeader (M1 C c f :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 C c f p -> Header Source #

GToHeader f => GToHeader (M1 D c f :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 D c f p -> Header Source #

(ToHeader a, Selector s) => GToHeader (M1 S s (K1 R (HeaderFor a) :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 S s (K1 R (HeaderFor a) :: k -> Type) p -> Header Source #

(ToKeyword a, Selector s) => GToHeader (M1 S s (K1 R (Maybe a) :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 S s (K1 R (Maybe a) :: k -> Type) p -> Header Source #

(ToKeyword a, Selector s) => GToHeader (M1 S s (K1 R a :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 S s (K1 R a :: k -> Type) p -> Header Source #

class GFromHeader (f :: k -> Type) where Source #

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es (f p) Source #

Instances

Instances details
(GFromHeader f, GFromHeader g) => GFromHeader (f :*: g :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es ((f :*: g) p) Source #

GFromHeader f => GFromHeader (M1 C c f :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es (M1 C c f p) Source #

GFromHeader f => GFromHeader (M1 D c f :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es (M1 D c f p) Source #

(FromKeyword a, Selector s) => GFromHeader (M1 S s (K1 R (Maybe a) :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es (M1 S s (K1 R (Maybe a) :: k -> Type) p) Source #

(FromKeyword a, Selector s) => GFromHeader (M1 S s (K1 R a :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gParseHeader :: forall (es :: [Effect]) (p :: k). Parser :> es => Header -> Eff es (M1 S s (K1 R a :: k -> Type) p) Source #

cleanKeyword :: String -> Text Source #

newtype HeaderFor a Source #

Constructors

HeaderFor a 

Instances

Instances details
(ToHeader a, Selector s) => GToHeader (M1 S s (K1 R (HeaderFor a) :: k -> Type) :: k -> Type) Source # 
Instance details

Defined in Telescope.Fits.Header.Class

Methods

gToHeader :: forall (p :: k). M1 S s (K1 R (HeaderFor a) :: k -> Type) p -> Header Source #

keywordForField :: ToKeyword a => String -> a -> Header Source #