Safe Haskell	Safe-Inferred
Language	GHC2021

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 UTCTime Source #
Instance details Defined in Telescope.Fits.Header.Class Methods toKeywordValue :: UTCTime -> Value Source # toKeywordRecord :: Text -> UTCTime -> KeywordRecord Source #
ToKeyword Bool Source #
Instance details Defined in Telescope.Fits.Header.Class Methods toKeywordValue :: Bool -> Value Source # toKeywordRecord :: Text -> Bool -> KeywordRecord Source #
ToKeyword Double Source #
Instance details Defined in Telescope.Fits.Header.Class Methods toKeywordValue :: Double -> Value Source # toKeywordRecord :: Text -> Double -> 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 :: 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 UTCTime Source #
Instance details Defined in Telescope.Fits.Header.Class Methods parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es UTCTime 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 Double Source #
Instance details Defined in Telescope.Fits.Header.Class Methods parseKeywordValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Double 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 Header Source #
Instance details Defined in Telescope.Fits.Header.Class Methods toHeader :: Header -> Header Source #
ToHeader HeaderRecord Source #
Instance details Defined in Telescope.Fits.Header.Class Methods toHeader :: HeaderRecord -> Header Source #
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 :: Parser :> es => Header -> Eff es a Source #

default parseHeader :: (Generic a, GFromHeader (Rep a), Parser :> es) => Header -> Eff es a Source #

Instances

Instances details

FromHeader Header Source #
Instance details Defined in Telescope.Fits.Header.Class Methods parseHeader :: forall (es :: [Effect]). Parser :> es => Header -> Eff es Header Source #
FromHeader [HeaderRecord] Source #
Instance details Defined in Telescope.Fits.Header.Class Methods parseHeader :: forall (es :: [Effect]). Parser :> es => Header -> Eff es [HeaderRecord] Source #
(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 :: (FromKeyword a, Parser :> es) => Text -> Header -> Eff es a Source #

class GToHeader f where Source #

Methods

gToHeader :: 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 :: k0). (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 :: k0). 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 :: k0). 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 :: k0). M1 S s (K1 R (HeaderFor a)) 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 :: k0). M1 S s (K1 R (Maybe a)) 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 :: k0). M1 S s (K1 R a) p -> Header Source #

class GFromHeader f where Source #

Methods

gParseHeader :: 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 :: k0). 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 :: k0). 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 :: k0). 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 :: k0). Parser :> es => Header -> Eff es (M1 S s (K1 R (Maybe a)) 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 :: k0). Parser :> es => Header -> Eff es (M1 S s (K1 R a) 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 :: k0). M1 S s (K1 R (HeaderFor a)) p -> Header Source #

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