Copyright	(c) 2024 Sean Hess
License	BSD3
Maintainer	Sean Hess <shess@nso.edu>
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	GHC2021

Telescope.Asdf

Contents

Encoding
Decoding
Binary Data
ASDF Tree
JSON Reference
YAML Anchors
- Exports

Description

Read, and Write ASDF (Advanced Scientific Data Format) files

import Data.ByteString qualified as BS
import Telescope.Asdf

data Example = Example
  { name :: Text
  , items :: [Text]
  , sequence :: [Int64]
  , random :: Array D Ix1 Double
  }
  deriving (Generic, FromAsdf)

example :: IO ()
example = do
  inp <- BS.readFile "samples/example.asdf"
  ex :: Example <- decodeM inp
  print ex.name
  print ex.items
  print $ take 30 ex.sequence
  print $ take 10 $ M.toList ex.random

Synopsis

encodeM :: (ToAsdf a, MonadIO m, MonadThrow m) => a -> m ByteString
encode :: (ToAsdf a, IOE :> es, Error AsdfError :> es) => a -> Eff es ByteString
class ToAsdf a where
- toValue :: a -> Value
- schema :: a -> SchemaTag
- anchor :: a -> Maybe Anchor
- toNode :: a -> Node
decodeM :: (FromAsdf a, MonadIO m, MonadThrow m) => ByteString -> m a
decodeEither :: forall a m. (FromAsdf a, MonadIO m) => ByteString -> m (Either String a)
decode :: (FromAsdf a, IOE :> es, Error AsdfError :> es) => ByteString -> Eff es a
class FromAsdf a where
- parseValue :: Parser :> es => Value -> Eff es a
(.:) :: (FromAsdf a, Parser :> es) => Object -> Key -> Eff es a
(.:?) :: (FromAsdf a, Parser :> es) => Object -> Key -> Eff es (Maybe a)
data AsdfError
data Parser :: Effect
class FromNDArray a where
- fromNDArray :: Parser :> es => NDArrayData -> Eff es a
class ToNDArray a where
- toNDArray :: a -> NDArrayData
data NDArrayData = NDArrayData {
- bytes :: ByteString
- byteorder :: ByteOrder
- datatype :: DataType
- shape :: Axes Row
}
data Asdf = Asdf {
- history :: History
- library :: Software
- tree :: Tree
}
data Node = Node {
- schema :: SchemaTag
- anchor :: Maybe Anchor
- value :: Value
}
data Value
- = Bool !Bool
- | Number !Scientific
- | Integer !Integer
- | String !Text
- | NDArray !NDArrayData
- | Array ![Node]
- | Object !Object
- | Reference !JSONReference
- | Alias !Anchor
- | Null
type Key = Text
type Object = [(Key, Node)]
fromValue :: Value -> Node
data SchemaTag
jsonPointer :: Text -> JSONPointer
jsonReference :: Text -> JSONReference
data JSONReference = JSONReference {
- uri :: Text
- pointer :: JSONPointer
}
newtype JSONPointer = JSONPointer Path
newtype Anchor = Anchor {
- anchor :: Text
}
class Generic a

Encoding

encodeM :: (ToAsdf a, MonadIO m, MonadThrow m) => a -> m ByteString Source #

Encode a ToAsdf to a ByteString

encode :: (ToAsdf a, IOE :> es, Error AsdfError :> es) => a -> Eff es ByteString Source #

Encode a ToAsdf to a ByteString

class ToAsdf a where Source #

Convert a type to an Asdf Value or Node. The generic instance will encode to an Value with field names matching record selectors

data Example = Example
  { name :: Text
  , age :: Int
  , tags :: [Text]
  }
  deriving (Generic, ToAsdf)

instance ToAsdf Example where
  schema _ = "tag:example.org/schemas/example-1.0.0"

Minimal complete definition

Nothing

Methods

toValue :: a -> Value Source #

Specify how an object encodes to a Value

instance User ToAsdf where
  toValue user =
    Object
      [ ("name", toNode user.name)
      , ("age", toNode user.age)
      ]

default toValue :: (Generic a, GToObject (Rep a)) => a -> Value Source #

schema :: a -> SchemaTag Source #

Specify the schema for a type

instance ToAsdf Unit where
  schema _ = "!unit/unit-1.0.0"

default schema :: a -> SchemaTag Source #

anchor :: a -> Maybe Anchor Source #

Specify that this node be saved as an anchor

instance ToAsdf Config where
  anchor _ = Just "globalConfig"

default anchor :: a -> Maybe Anchor Source #

toNode :: a -> Node Source #

Manually control all aspects of how this is converted to a Node

default toNode :: a -> Node Source #

Instances

Instances details

ToAsdf ByteOrder Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: ByteOrder -> Value Source # schema :: ByteOrder -> SchemaTag Source # anchor :: ByteOrder -> Maybe Anchor Source # toNode :: ByteOrder -> Node Source #
ToAsdf Int16 Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Int16 -> Value Source # schema :: Int16 -> SchemaTag Source # anchor :: Int16 -> Maybe Anchor Source # toNode :: Int16 -> Node Source #
ToAsdf Int32 Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Int32 -> Value Source # schema :: Int32 -> SchemaTag Source # anchor :: Int32 -> Maybe Anchor Source # toNode :: Int32 -> Node Source #
ToAsdf Int64 Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Int64 -> Value Source # schema :: Int64 -> SchemaTag Source # anchor :: Int64 -> Maybe Anchor Source # toNode :: Int64 -> Node Source #
ToAsdf Int8 Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Int8 -> Value Source # schema :: Int8 -> SchemaTag Source # anchor :: Int8 -> Maybe Anchor Source # toNode :: Int8 -> Node 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 #
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 #
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 #
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 #
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 #
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 #
ToAsdf BlockSource Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: BlockSource -> Value Source # schema :: BlockSource -> SchemaTag Source # anchor :: BlockSource -> Maybe Anchor Source # toNode :: BlockSource -> Node Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
ToAsdf DataType Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: DataType -> Value Source # schema :: DataType -> SchemaTag Source # anchor :: DataType -> Maybe Anchor Source # toNode :: DataType -> Node Source #
ToAsdf NDArrayData Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: NDArrayData -> Value Source # schema :: NDArrayData -> SchemaTag Source # anchor :: NDArrayData -> Maybe Anchor Source # toNode :: NDArrayData -> Node Source #
ToAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Node -> Value Source # schema :: Node -> SchemaTag Source # anchor :: Node -> Maybe Anchor Source # toNode :: Node -> Node Source #
ToAsdf Tree Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Tree -> Value Source # schema :: Tree -> SchemaTag Source # anchor :: Tree -> Maybe Anchor Source # toNode :: Tree -> Node Source #
ToAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Value -> Value Source # schema :: Value -> SchemaTag Source # anchor :: Value -> Maybe Anchor Source # toNode :: Value -> Node Source #
ToAsdf Text Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Text -> Value Source # schema :: Text -> SchemaTag Source # anchor :: Text -> Maybe Anchor Source # toNode :: Text -> Node Source #
ToAsdf UTCTime Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: UTCTime -> Value Source # schema :: UTCTime -> SchemaTag Source # anchor :: UTCTime -> Maybe Anchor Source # toNode :: UTCTime -> Node Source #
ToAsdf String Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: String -> Value Source # schema :: String -> SchemaTag Source # anchor :: String -> Maybe Anchor Source # toNode :: String -> Node Source #
ToAsdf Integer Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Integer -> Value Source # schema :: Integer -> SchemaTag Source # anchor :: Integer -> Maybe Anchor Source # toNode :: Integer -> Node Source #
ToAsdf Bool Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Bool -> Value Source # schema :: Bool -> SchemaTag Source # anchor :: Bool -> Maybe Anchor Source # toNode :: Bool -> Node Source #
ToAsdf Double Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Double -> Value Source # schema :: Double -> SchemaTag Source # anchor :: Double -> Maybe Anchor Source # toNode :: Double -> Node Source #
ToAsdf Float Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Float -> Value Source # schema :: Float -> SchemaTag Source # anchor :: Float -> Maybe Anchor Source # toNode :: Float -> Node Source #
ToAsdf Int Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Int -> Value Source # schema :: Int -> SchemaTag Source # anchor :: Int -> Maybe Anchor Source # toNode :: Int -> Node Source #
ToAsdf a => ToAsdf (NonEmpty a) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: NonEmpty a -> Value Source # schema :: NonEmpty a -> SchemaTag Source # anchor :: NonEmpty a -> Maybe Anchor Source # toNode :: NonEmpty a -> Node Source #
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 #
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 #
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 #
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 #
ToAsdf (Axes 'Row) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Axes 'Row -> Value Source # schema :: Axes 'Row -> SchemaTag Source # anchor :: Axes 'Row -> Maybe Anchor Source # toNode :: Axes 'Row -> Node Source #
ToAsdf a => ToAsdf (Maybe a) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Maybe a -> Value Source # schema :: Maybe a -> SchemaTag Source # anchor :: Maybe a -> Maybe Anchor Source # toNode :: Maybe a -> Node Source #
ToAsdf a => ToAsdf [a] Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: [a] -> Value Source # schema :: [a] -> SchemaTag Source # anchor :: [a] -> Maybe Anchor Source # toNode :: [a] -> Node Source #
(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 #
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 #
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 #
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 #
(ToAsdf a, ToAsdf b) => ToAsdf (a, b) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: (a, b) -> Value Source # schema :: (a, b) -> SchemaTag Source # anchor :: (a, b) -> Maybe Anchor Source # toNode :: (a, b) -> Node Source #
(BinaryValue a, IsDataType a, Prim a, AxesIndex ix, PutArray ix) => ToAsdf (Array D ix a) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Array D ix a -> Value Source # schema :: Array D ix a -> SchemaTag Source # anchor :: Array D ix a -> Maybe Anchor Source # toNode :: Array D ix a -> Node Source #
(ToAsdf a, ToAsdf b, ToAsdf c) => ToAsdf (a, b, c) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: (a, b, c) -> Value Source # schema :: (a, b, c) -> SchemaTag Source # anchor :: (a, b, c) -> Maybe Anchor Source # toNode :: (a, b, c) -> Node Source #
(ToAsdf a, ToAsdf b, ToAsdf c, ToAsdf d) => ToAsdf (a, b, c, d) Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: (a, b, c, d) -> Value Source # schema :: (a, b, c, d) -> SchemaTag Source # anchor :: (a, b, c, d) -> Maybe Anchor Source # toNode :: (a, b, c, d) -> Node Source #

Decoding

decodeM :: (FromAsdf a, MonadIO m, MonadThrow m) => ByteString -> m a Source #

Decode a ByteString to a FromAsdf

decodeEither :: forall a m. (FromAsdf a, MonadIO m) => ByteString -> m (Either String a) Source #

Decode a ByteString to a FromAsdf

decode :: (FromAsdf a, IOE :> es, Error AsdfError :> es) => ByteString -> Eff es a Source #

Decode a ByteString to a FromAsdf

class FromAsdf a where Source #

Parse an Asdf Value or Node into a type. The generic instance will decode an Value with field names matching record selectors

data Example = Example
  { name :: Text
  , age :: Int
  , tags :: [Text]
  }
  deriving (Generic, FromAsdf)

Minimal complete definition

Nothing

Methods

parseValue :: Parser :> es => Value -> Eff es a Source #

Specify how a type is parsed from a Value

instance FromAsdf Integer where
  parseValue = \case
    Integer n -> pure $ fromIntegral n
    node -> expected "Integer" node

default parseValue :: (Generic a, GParseObject (Rep a), Parser :> es) => Value -> Eff es a Source #

Instances

Instances details

FromAsdf ByteOrder Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es ByteOrder Source #
FromAsdf Int16 Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int16 Source #
FromAsdf Int32 Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int32 Source #
FromAsdf Int64 Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int64 Source #
FromAsdf Int8 Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int8 Source #
FromAsdf Asdf Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Asdf Source #
FromAsdf ExtensionMetadata Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es ExtensionMetadata Source #
FromAsdf History Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es History Source #
FromAsdf Quantity Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Quantity Source #
FromAsdf Software Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Software Source #
FromAsdf Unit Source #
Instance details Defined in Telescope.Asdf.Core Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Unit Source #
FromAsdf DataType Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es DataType Source #
FromAsdf NDArrayData Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es NDArrayData Source #
FromAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Node Source #
FromAsdf Object Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Object Source #
FromAsdf Tree Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Tree Source #
FromAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Value Source #
FromAsdf Text Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Text Source #
FromAsdf UTCTime Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es UTCTime Source #
FromAsdf String Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es String Source #
FromAsdf Integer Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Integer Source #
FromAsdf Bool Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Bool Source #
FromAsdf Double Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Double Source #
FromAsdf Float Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Float Source #
FromAsdf Int Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Int Source #
FromAsdf a => FromAsdf (NonEmpty a) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (NonEmpty a) Source #
FromAsdf a => FromAsdf (Maybe a) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (Maybe a) Source #
FromAsdf [Int16] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Int16] Source #
FromAsdf [Int32] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Int32] Source #
FromAsdf [Int64] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Int64] Source #
FromAsdf [Int8] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Int8] Source #
FromAsdf [Text] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Text] Source #
FromAsdf [Double] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Double] Source #
FromAsdf [Int] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [Int] Source #
FromAsdf a => FromAsdf [a] Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es [a] Source #
(FromAsdf a, FromAsdf b) => FromAsdf (a, b) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (a, b) Source #
(BinaryValue a, Prim a, AxesIndex ix) => FromAsdf (Array D ix a) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (Array D ix a) Source #
(FromAsdf a, FromAsdf b, FromAsdf c) => FromAsdf (a, b, c) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (a, b, c) Source #
(FromAsdf a, FromAsdf b, FromAsdf c, FromAsdf d) => FromAsdf (a, b, c, d) Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es (a, b, c, d) Source #

(.:) :: (FromAsdf a, Parser :> es) => Object -> Key -> Eff es a Source #

Parse a key from an Value

instance FromAsdf User where
  parseValue = \case
    Object o -> do
      name <- o .: "name"
      age <- o .: "age"
      pure $ User{name, age}

(.:?) :: (FromAsdf a, Parser :> es) => Object -> Key -> Eff es (Maybe a) Source #

Parse an optional key from an Value

data AsdfError Source #

Instances

Instances details

Exception AsdfError Source #
Instance details Defined in Telescope.Asdf.Error Methods toException :: AsdfError -> SomeException # fromException :: SomeException -> Maybe AsdfError # displayException :: AsdfError -> String #
Show AsdfError Source #
Instance details Defined in Telescope.Asdf.Error Methods showsPrec :: Int -> AsdfError -> ShowS # show :: AsdfError -> String # showList :: [AsdfError] -> ShowS #
Eq AsdfError Source #
Instance details Defined in Telescope.Asdf.Error Methods (==) :: AsdfError -> AsdfError -> Bool # (/=) :: AsdfError -> AsdfError -> Bool #

data Parser :: Effect Source #

Instances

Instances details

type DispatchOf Parser Source #
Instance details Defined in Telescope.Data.Parser type DispatchOf Parser = 'Dynamic

Binary Data

class FromNDArray a where Source #

Convert an NDArrayData into a type https:/asdf-standard.readthedocs.ioenlatestgeneratedstsci.eduasdfcorendarray-1.1.0.html

Methods

fromNDArray :: Parser :> es => NDArrayData -> Eff es a Source #

Instances

Instances details

FromNDArray [Text] Source #
Instance details Defined in Telescope.Asdf.NDArray Methods fromNDArray :: forall (es :: [Effect]). Parser :> es => NDArrayData -> Eff es [Text] Source #
BinaryValue a => FromNDArray [[a]] Source #
Instance details Defined in Telescope.Asdf.NDArray Methods fromNDArray :: forall (es :: [Effect]). Parser :> es => NDArrayData -> Eff es [[a]] Source #
BinaryValue a => FromNDArray [a] Source #
Instance details Defined in Telescope.Asdf.NDArray Methods fromNDArray :: forall (es :: [Effect]). Parser :> es => NDArrayData -> Eff es [a] Source #
(BinaryValue a, Prim a, AxesIndex ix) => FromNDArray (Array D ix a) Source #
Instance details Defined in Telescope.Asdf.NDArray Methods fromNDArray :: forall (es :: [Effect]). Parser :> es => NDArrayData -> Eff es (Array D ix a) Source #

class ToNDArray a where Source #

Convert a type to an NDArrayData https:/asdf-standard.readthedocs.ioenlatestgeneratedstsci.eduasdfcorendarray-1.1.0.html

Methods

toNDArray :: a -> NDArrayData Source #

Instances

Instances details

(BinaryValue a, IsDataType a) => ToNDArray [[a]] Source #
Instance details Defined in Telescope.Asdf.NDArray Methods toNDArray :: [[a]] -> NDArrayData Source #
(BinaryValue a, IsDataType a) => ToNDArray [a] Source #
Instance details Defined in Telescope.Asdf.NDArray Methods toNDArray :: [a] -> NDArrayData Source #
(BinaryValue a, IsDataType a, Prim a, AxesIndex ix, PutArray ix) => ToNDArray (Array D ix a) Source #
Instance details Defined in Telescope.Asdf.NDArray Methods toNDArray :: Array D ix a -> NDArrayData Source #

data NDArrayData Source #

In-tree representation of an NDArray. You can parse a file as this and get it back. Not really what we want though but in haskell we can't easily just parse a multi-dimensional array we could do a simpler representation. Using an ADT

Constructors

NDArrayData
Fields bytes :: ByteString byteorder :: ByteOrder datatype :: DataType shape :: Axes Row

Instances

Instances details

Show NDArrayData Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods showsPrec :: Int -> NDArrayData -> ShowS # show :: NDArrayData -> String # showList :: [NDArrayData] -> ShowS #
Eq NDArrayData Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods (==) :: NDArrayData -> NDArrayData -> Bool # (/=) :: NDArrayData -> NDArrayData -> Bool #
FromAsdf NDArrayData Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es NDArrayData Source #
ToAsdf NDArrayData Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: NDArrayData -> Value Source # schema :: NDArrayData -> SchemaTag Source # anchor :: NDArrayData -> Maybe Anchor Source # toNode :: NDArrayData -> Node Source #

ASDF Tree

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 #

data Node Source #

A Node is a Value with an optional SchemaTag and Anchor

Constructors

Node
Fields schema :: SchemaTag anchor :: Maybe Anchor value :: Value

Instances

Instances details

IsString Node Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> Node #
Show Node Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
FromAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Node Source #
FromAsdf Object Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Object Source #
ToAsdf Node Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Node -> Value Source # schema :: Node -> SchemaTag Source # anchor :: Node -> Maybe Anchor Source # toNode :: Node -> Node Source #

data Value Source #

All allowed node values. We can't use Aeson's Value, because it doesn't support tags, binary data, or references

Constructors

Bool !Bool
Number !Scientific
Integer !Integer
String !Text
NDArray !NDArrayData	RawBinary !ByteString
Array ![Node]
Object !Object
Reference !JSONReference
Alias !Anchor
Null

Instances

Instances details

IsString Value Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> Value #
Monoid Value Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: Value # mappend :: Value -> Value -> Value # mconcat :: [Value] -> Value #
Semigroup Value Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: Value -> Value -> Value # sconcat :: NonEmpty Value -> Value # stimes :: Integral b => b -> Value -> Value #
Show Value Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
FromAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es Value Source #
ToAsdf Value Source #
Instance details Defined in Telescope.Asdf.Class Methods toValue :: Value -> Value Source # schema :: Value -> SchemaTag Source # anchor :: Value -> Maybe Anchor Source # toNode :: Value -> Node Source #

type Key = Text Source #

type Object = [(Key, Node)] Source #

fromValue :: Value -> Node Source #

Makes a node from a value

data SchemaTag Source #

Specify a schema using schema from ToAsdf

Instances

Instances details

IsString SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods fromString :: String -> SchemaTag #
Monoid SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods mempty :: SchemaTag # mappend :: SchemaTag -> SchemaTag -> SchemaTag # mconcat :: [SchemaTag] -> SchemaTag #
Semigroup SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods (<>) :: SchemaTag -> SchemaTag -> SchemaTag # sconcat :: NonEmpty SchemaTag -> SchemaTag # stimes :: Integral b => b -> SchemaTag -> SchemaTag #
Show SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods showsPrec :: Int -> SchemaTag -> ShowS # show :: SchemaTag -> String # showList :: [SchemaTag] -> ShowS #
Eq SchemaTag Source #
Instance details Defined in Telescope.Asdf.Node Methods (==) :: SchemaTag -> SchemaTag -> Bool # (/=) :: SchemaTag -> SchemaTag -> Bool #

JSON Reference

jsonPointer :: Text -> JSONPointer Source #

jsonReference :: Text -> JSONReference Source #

data JSONReference Source #

Constructors

JSONReference
Fields uri :: Text pointer :: JSONPointer

Instances

Instances details

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

newtype JSONPointer Source #

Constructors

JSONPointer Path

Instances

Instances details

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

YAML Anchors

newtype Anchor Source #

Constructors

Anchor
Fields anchor :: Text

Instances

Instances details

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

Exports

class Generic a #

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . to ≡ id
to . from ≡ id

Minimal complete definition

from, to

Instances

Instances details

Generic DctComponent
Instance details Defined in Codec.Picture.Jpg.Internal.DefaultTable Associated Types type Rep DctComponent :: Type -> Type # Methods from :: DctComponent -> Rep DctComponent x # to :: Rep DctComponent x -> DctComponent #
Generic AdobeTransform
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep AdobeTransform :: Type -> Type # Methods from :: AdobeTransform -> Rep AdobeTransform x # to :: Rep AdobeTransform x -> AdobeTransform #
Generic JFifUnit
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JFifUnit :: Type -> Type # Methods from :: JFifUnit -> Rep JFifUnit x # to :: Rep JFifUnit x -> JFifUnit #
Generic JpgAdobeApp14
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgAdobeApp14 :: Type -> Type # Methods from :: JpgAdobeApp14 -> Rep JpgAdobeApp14 x # to :: Rep JpgAdobeApp14 x -> JpgAdobeApp14 #
Generic JpgColorSpace
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgColorSpace :: Type -> Type # Methods from :: JpgColorSpace -> Rep JpgColorSpace x # to :: Rep JpgColorSpace x -> JpgColorSpace #
Generic JpgComponent
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgComponent :: Type -> Type # Methods from :: JpgComponent -> Rep JpgComponent x # to :: Rep JpgComponent x -> JpgComponent #
Generic JpgFrame
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgFrame :: Type -> Type # Methods from :: JpgFrame -> Rep JpgFrame x # to :: Rep JpgFrame x -> JpgFrame #
Generic JpgFrameHeader
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgFrameHeader :: Type -> Type # Methods from :: JpgFrameHeader -> Rep JpgFrameHeader x # to :: Rep JpgFrameHeader x -> JpgFrameHeader #
Generic JpgFrameKind
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgFrameKind :: Type -> Type # Methods from :: JpgFrameKind -> Rep JpgFrameKind x # to :: Rep JpgFrameKind x -> JpgFrameKind #
Generic JpgHuffmanTableSpec
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgHuffmanTableSpec :: Type -> Type # Methods from :: JpgHuffmanTableSpec -> Rep JpgHuffmanTableSpec x # to :: Rep JpgHuffmanTableSpec x -> JpgHuffmanTableSpec #
Generic JpgImage
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgImage :: Type -> Type # Methods from :: JpgImage -> Rep JpgImage x # to :: Rep JpgImage x -> JpgImage #
Generic JpgJFIFApp0
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgJFIFApp0 :: Type -> Type # Methods from :: JpgJFIFApp0 -> Rep JpgJFIFApp0 x # to :: Rep JpgJFIFApp0 x -> JpgJFIFApp0 #
Generic JpgQuantTableSpec
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgQuantTableSpec :: Type -> Type # Methods from :: JpgQuantTableSpec -> Rep JpgQuantTableSpec x # to :: Rep JpgQuantTableSpec x -> JpgQuantTableSpec #
Generic JpgScanHeader
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgScanHeader :: Type -> Type # Methods from :: JpgScanHeader -> Rep JpgScanHeader x # to :: Rep JpgScanHeader x -> JpgScanHeader #
Generic JpgScanSpecification
Instance details Defined in Codec.Picture.Jpg.Internal.Types Associated Types type Rep JpgScanSpecification :: Type -> Type # Methods from :: JpgScanSpecification -> Rep JpgScanSpecification x # to :: Rep JpgScanSpecification x -> JpgScanSpecification #
Generic ExifData
Instance details Defined in Codec.Picture.Metadata.Exif Associated Types type Rep ExifData :: Type -> Type # Methods from :: ExifData -> Rep ExifData x # to :: Rep ExifData x -> ExifData #
Generic ExifTag
Instance details Defined in Codec.Picture.Metadata.Exif Associated Types type Rep ExifTag :: Type -> Type # Methods from :: ExifTag -> Rep ExifTag x # to :: Rep ExifTag x -> ExifTag #
Generic IfdType
Instance details Defined in Codec.Picture.Tiff.Internal.Types Associated Types type Rep IfdType :: Type -> Type # Methods from :: IfdType -> Rep IfdType x # to :: Rep IfdType x -> IfdType #
Generic ImageFileDirectory
Instance details Defined in Codec.Picture.Tiff.Internal.Types Associated Types type Rep ImageFileDirectory :: Type -> Type # Methods from :: ImageFileDirectory -> Rep ImageFileDirectory x # to :: Rep ImageFileDirectory x -> ImageFileDirectory #
Generic All
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type # Methods from :: All -> Rep All x # to :: Rep All x -> All #
Generic Any
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type # Methods from :: Any -> Rep Any x # to :: Rep Any x -> Any #
Generic Version
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type # Methods from :: Version -> Rep Version x # to :: Rep Version x -> Version #
Generic Void
Instance details Defined in GHC.Generics Associated Types type Rep Void :: Type -> Type # Methods from :: Void -> Rep Void x # to :: Rep Void x -> Void #
Generic ByteOrder
Instance details Defined in GHC.ByteOrder Associated Types type Rep ByteOrder :: Type -> Type # Methods from :: ByteOrder -> Rep ByteOrder x # to :: Rep ByteOrder x -> ByteOrder #
Generic Fingerprint
Instance details Defined in GHC.Generics Associated Types type Rep Fingerprint :: Type -> Type # Methods from :: Fingerprint -> Rep Fingerprint x # to :: Rep Fingerprint x -> Fingerprint #
Generic Associativity
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type # Methods from :: Associativity -> Rep Associativity x # to :: Rep Associativity x -> Associativity #
Generic DecidedStrictness
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type # Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness #
Generic Fixity
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type # Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Generic SourceStrictness
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type # Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness #
Generic SourceUnpackedness
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness #
Generic ExitCode
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type # Methods from :: ExitCode -> Rep ExitCode x # to :: Rep ExitCode x -> ExitCode #
Generic CCFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep CCFlags :: Type -> Type # Methods from :: CCFlags -> Rep CCFlags x # to :: Rep CCFlags x -> CCFlags #
Generic ConcFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ConcFlags :: Type -> Type # Methods from :: ConcFlags -> Rep ConcFlags x # to :: Rep ConcFlags x -> ConcFlags #
Generic DebugFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DebugFlags :: Type -> Type # Methods from :: DebugFlags -> Rep DebugFlags x # to :: Rep DebugFlags x -> DebugFlags #
Generic DoCostCentres
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoCostCentres :: Type -> Type # Methods from :: DoCostCentres -> Rep DoCostCentres x # to :: Rep DoCostCentres x -> DoCostCentres #
Generic DoHeapProfile
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoHeapProfile :: Type -> Type # Methods from :: DoHeapProfile -> Rep DoHeapProfile x # to :: Rep DoHeapProfile x -> DoHeapProfile #
Generic DoTrace
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoTrace :: Type -> Type # Methods from :: DoTrace -> Rep DoTrace x # to :: Rep DoTrace x -> DoTrace #
Generic GCFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GCFlags :: Type -> Type # Methods from :: GCFlags -> Rep GCFlags x # to :: Rep GCFlags x -> GCFlags #
Generic GiveGCStats
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GiveGCStats :: Type -> Type # Methods from :: GiveGCStats -> Rep GiveGCStats x # to :: Rep GiveGCStats x -> GiveGCStats #
Generic MiscFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep MiscFlags :: Type -> Type # Methods from :: MiscFlags -> Rep MiscFlags x # to :: Rep MiscFlags x -> MiscFlags #
Generic ParFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ParFlags :: Type -> Type # Methods from :: ParFlags -> Rep ParFlags x # to :: Rep ParFlags x -> ParFlags #
Generic ProfFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ProfFlags :: Type -> Type # Methods from :: ProfFlags -> Rep ProfFlags x # to :: Rep ProfFlags x -> ProfFlags #
Generic RTSFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep RTSFlags :: Type -> Type # Methods from :: RTSFlags -> Rep RTSFlags x # to :: Rep RTSFlags x -> RTSFlags #
Generic TickyFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TickyFlags :: Type -> Type # Methods from :: TickyFlags -> Rep TickyFlags x # to :: Rep TickyFlags x -> TickyFlags #
Generic TraceFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TraceFlags :: Type -> Type # Methods from :: TraceFlags -> Rep TraceFlags x # to :: Rep TraceFlags x -> TraceFlags #
Generic SrcLoc
Instance details Defined in GHC.Generics Associated Types type Rep SrcLoc :: Type -> Type # Methods from :: SrcLoc -> Rep SrcLoc x # to :: Rep SrcLoc x -> SrcLoc #
Generic GeneralCategory
Instance details Defined in GHC.Generics Associated Types type Rep GeneralCategory :: Type -> Type # Methods from :: GeneralCategory -> Rep GeneralCategory x # to :: Rep GeneralCategory x -> GeneralCategory #
Generic Limit
Instance details Defined in Effectful.Internal.Unlift Associated Types type Rep Limit :: Type -> Type # Methods from :: Limit -> Rep Limit x # to :: Rep Limit x -> Limit #
Generic Persistence
Instance details Defined in Effectful.Internal.Unlift Associated Types type Rep Persistence :: Type -> Type # Methods from :: Persistence -> Rep Persistence x # to :: Rep Persistence x -> Persistence #
Generic UnliftStrategy
Instance details Defined in Effectful.Internal.Unlift Associated Types type Rep UnliftStrategy :: Type -> Type # Methods from :: UnliftStrategy -> Rep UnliftStrategy x # to :: Rep UnliftStrategy x -> UnliftStrategy #
Generic OnEmptyPolicy
Instance details Defined in Effectful.NonDet Associated Types type Rep OnEmptyPolicy :: Type -> Type # Methods from :: OnEmptyPolicy -> Rep OnEmptyPolicy x # to :: Rep OnEmptyPolicy x -> OnEmptyPolicy #
Generic OsChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep OsChar :: Type -> Type # Methods from :: OsChar -> Rep OsChar x # to :: Rep OsChar x -> OsChar #
Generic OsString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep OsString :: Type -> Type # Methods from :: OsString -> Rep OsString x # to :: Rep OsString x -> OsString #
Generic PosixChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep PosixChar :: Type -> Type # Methods from :: PosixChar -> Rep PosixChar x # to :: Rep PosixChar x -> PosixChar #
Generic PosixString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep PosixString :: Type -> Type # Methods from :: PosixString -> Rep PosixString x # to :: Rep PosixString x -> PosixString #
Generic WindowsChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep WindowsChar :: Type -> Type # Methods from :: WindowsChar -> Rep WindowsChar x # to :: Rep WindowsChar x -> WindowsChar #
Generic WindowsString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep WindowsString :: Type -> Type # Methods from :: WindowsString -> Rep WindowsString x # to :: Rep WindowsString x -> WindowsString #
Generic ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x # to :: Rep ForeignSrcLang x -> ForeignSrcLang #
Generic Extension
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type # Methods from :: Extension -> Rep Extension x # to :: Rep Extension x -> Extension #
Generic Ordering
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type # Methods from :: Ordering -> Rep Ordering x # to :: Rep Ordering x -> Ordering #
Generic InvalidPosException
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep InvalidPosException :: Type -> Type # Methods from :: InvalidPosException -> Rep InvalidPosException x # to :: Rep InvalidPosException x -> InvalidPosException #
Generic Pos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep Pos :: Type -> Type # Methods from :: Pos -> Rep Pos x # to :: Rep Pos x -> Pos #
Generic SourcePos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep SourcePos :: Type -> Type # Methods from :: SourcePos -> Rep SourcePos x # to :: Rep SourcePos x -> SourcePos #
Generic Mode
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type # Methods from :: Mode -> Rep Mode x # to :: Rep Mode x -> Mode #
Generic Style
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type # Methods from :: Style -> Rep Style x # to :: Rep Style x -> Style #
Generic TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type # Methods from :: TextDetails -> Rep TextDetails x # to :: Rep TextDetails x -> TextDetails #
Generic Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type # Methods from :: Doc -> Rep Doc x # to :: Rep Doc x -> Doc #
Generic OsChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsChar :: Type -> Type # Methods from :: OsChar -> Rep OsChar x # to :: Rep OsChar x -> OsChar #
Generic OsString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsString :: Type -> Type # Methods from :: OsString -> Rep OsString x # to :: Rep OsString x -> OsString #
Generic PosixChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixChar :: Type -> Type # Methods from :: PosixChar -> Rep PosixChar x # to :: Rep PosixChar x -> PosixChar #
Generic PosixString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixString :: Type -> Type # Methods from :: PosixString -> Rep PosixString x # to :: Rep PosixString x -> PosixString #
Generic WindowsChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsChar :: Type -> Type # Methods from :: WindowsChar -> Rep WindowsChar x # to :: Rep WindowsChar x -> WindowsChar #
Generic WindowsString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsString :: Type -> Type # Methods from :: WindowsString -> Rep WindowsString x # to :: Rep WindowsString x -> WindowsString #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
Generic AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type # Methods from :: AnnLookup -> Rep AnnLookup x # to :: Rep AnnLookup x -> AnnLookup #
Generic AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type # Methods from :: AnnTarget -> Rep AnnTarget x # to :: Rep AnnTarget x -> AnnTarget #
Generic Bang
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type # Methods from :: Bang -> Rep Bang x # to :: Rep Bang x -> Bang #
Generic Body
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type # Methods from :: Body -> Rep Body x # to :: Rep Body x -> Body #
Generic Bytes
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type # Methods from :: Bytes -> Rep Bytes x # to :: Rep Bytes x -> Bytes #
Generic Callconv
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type # Methods from :: Callconv -> Rep Callconv x # to :: Rep Callconv x -> Callconv #
Generic Clause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type # Methods from :: Clause -> Rep Clause x # to :: Rep Clause x -> Clause #
Generic Con
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type # Methods from :: Con -> Rep Con x # to :: Rep Con x -> Con #
Generic Dec
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type # Methods from :: Dec -> Rep Dec x # to :: Rep Dec x -> Dec #
Generic DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type # Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness #
Generic DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type # Methods from :: DerivClause -> Rep DerivClause x # to :: Rep DerivClause x -> DerivClause #
Generic DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type # Methods from :: DerivStrategy -> Rep DerivStrategy x # to :: Rep DerivStrategy x -> DerivStrategy #
Generic DocLoc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DocLoc :: Type -> Type # Methods from :: DocLoc -> Rep DocLoc x # to :: Rep DocLoc x -> DocLoc #
Generic Exp
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type # Methods from :: Exp -> Rep Exp x # to :: Rep Exp x -> Exp #
Generic FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type # Methods from :: FamilyResultSig -> Rep FamilyResultSig x # to :: Rep FamilyResultSig x -> FamilyResultSig #
Generic Fixity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type # Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Generic FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type # Methods from :: FixityDirection -> Rep FixityDirection x # to :: Rep FixityDirection x -> FixityDirection #
Generic Foreign
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type # Methods from :: Foreign -> Rep Foreign x # to :: Rep Foreign x -> Foreign #
Generic FunDep
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type # Methods from :: FunDep -> Rep FunDep x # to :: Rep FunDep x -> FunDep #
Generic Guard
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type # Methods from :: Guard -> Rep Guard x # to :: Rep Guard x -> Guard #
Generic Info
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Generic InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type # Methods from :: InjectivityAnn -> Rep InjectivityAnn x # to :: Rep InjectivityAnn x -> InjectivityAnn #
Generic Inline
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
Generic Lit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type # Methods from :: Lit -> Rep Lit x # to :: Rep Lit x -> Lit #
Generic Loc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type # Methods from :: Loc -> Rep Loc x # to :: Rep Loc x -> Loc #
Generic Match
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type # Methods from :: Match -> Rep Match x # to :: Rep Match x -> Match #
Generic ModName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type # Methods from :: ModName -> Rep ModName x # to :: Rep ModName x -> ModName #
Generic Module
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type # Methods from :: Module -> Rep Module x # to :: Rep Module x -> Module #
Generic ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type # Methods from :: ModuleInfo -> Rep ModuleInfo x # to :: Rep ModuleInfo x -> ModuleInfo #
Generic Name
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type # Methods from :: Name -> Rep Name x # to :: Rep Name x -> Name #
Generic NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type # Methods from :: NameFlavour -> Rep NameFlavour x # to :: Rep NameFlavour x -> NameFlavour #
Generic NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type # Methods from :: NameSpace -> Rep NameSpace x # to :: Rep NameSpace x -> NameSpace #
Generic OccName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type # Methods from :: OccName -> Rep OccName x # to :: Rep OccName x -> OccName #
Generic Overlap
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type # Methods from :: Overlap -> Rep Overlap x # to :: Rep Overlap x -> Overlap #
Generic Pat
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type # Methods from :: Pat -> Rep Pat x # to :: Rep Pat x -> Pat #
Generic PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type # Methods from :: PatSynArgs -> Rep PatSynArgs x # to :: Rep PatSynArgs x -> PatSynArgs #
Generic PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type # Methods from :: PatSynDir -> Rep PatSynDir x # to :: Rep PatSynDir x -> PatSynDir #
Generic Phases
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type # Methods from :: Phases -> Rep Phases x # to :: Rep Phases x -> Phases #
Generic PkgName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type # Methods from :: PkgName -> Rep PkgName x # to :: Rep PkgName x -> PkgName #
Generic Pragma
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type # Methods from :: Pragma -> Rep Pragma x # to :: Rep Pragma x -> Pragma #
Generic Range
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type # Methods from :: Range -> Rep Range x # to :: Rep Range x -> Range #
Generic Role
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type # Methods from :: Role -> Rep Role x # to :: Rep Role x -> Role #
Generic RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type # Methods from :: RuleBndr -> Rep RuleBndr x # to :: Rep RuleBndr x -> RuleBndr #
Generic RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type # Methods from :: RuleMatch -> Rep RuleMatch x # to :: Rep RuleMatch x -> RuleMatch #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type # Methods from :: Safety -> Rep Safety x # to :: Rep Safety x -> Safety #
Generic SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type # Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness #
Generic SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness #
Generic Specificity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Specificity :: Type -> Type # Methods from :: Specificity -> Rep Specificity x # to :: Rep Specificity x -> Specificity #
Generic Stmt
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type # Methods from :: Stmt -> Rep Stmt x # to :: Rep Stmt x -> Stmt #
Generic TyLit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type # Methods from :: TyLit -> Rep TyLit x # to :: Rep TyLit x -> TyLit #
Generic TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type # Methods from :: TySynEqn -> Rep TySynEqn x # to :: Rep TySynEqn x -> TySynEqn #
Generic Type
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
Generic TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x # to :: Rep TypeFamilyHead x -> TypeFamilyHead #
Generic Int128
Instance details Defined in Data.WideWord.Int128 Associated Types type Rep Int128 :: Type -> Type # Methods from :: Int128 -> Rep Int128 x # to :: Rep Int128 x -> Int128 #
Generic Word128
Instance details Defined in Data.WideWord.Word128 Associated Types type Rep Word128 :: Type -> Type # Methods from :: Word128 -> Rep Word128 x # to :: Rep Word128 x -> Word128 #
Generic Word256
Instance details Defined in Data.WideWord.Word256 Associated Types type Rep Word256 :: Type -> Type # Methods from :: Word256 -> Rep Word256 x # to :: Rep Word256 x -> Word256 #
Generic CompressParams
Instance details Defined in Codec.Compression.Zlib.Internal Associated Types type Rep CompressParams :: Type -> Type # Methods from :: CompressParams -> Rep CompressParams x # to :: Rep CompressParams x -> CompressParams #
Generic DecompressError
Instance details Defined in Codec.Compression.Zlib.Internal Associated Types type Rep DecompressError :: Type -> Type # Methods from :: DecompressError -> Rep DecompressError x # to :: Rep DecompressError x -> DecompressError #
Generic DecompressParams
Instance details Defined in Codec.Compression.Zlib.Internal Associated Types type Rep DecompressParams :: Type -> Type # Methods from :: DecompressParams -> Rep DecompressParams x # to :: Rep DecompressParams x -> DecompressParams #
Generic CompressionLevel
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep CompressionLevel :: Type -> Type # Methods from :: CompressionLevel -> Rep CompressionLevel x # to :: Rep CompressionLevel x -> CompressionLevel #
Generic CompressionStrategy
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep CompressionStrategy :: Type -> Type # Methods from :: CompressionStrategy -> Rep CompressionStrategy x # to :: Rep CompressionStrategy x -> CompressionStrategy #
Generic Format
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep Format :: Type -> Type # Methods from :: Format -> Rep Format x # to :: Rep Format x -> Format #
Generic MemoryLevel
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep MemoryLevel :: Type -> Type # Methods from :: MemoryLevel -> Rep MemoryLevel x # to :: Rep MemoryLevel x -> MemoryLevel #
Generic Method
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep Method :: Type -> Type # Methods from :: Method -> Rep Method x # to :: Rep Method x -> Method #
Generic WindowBits
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep WindowBits :: Type -> Type # Methods from :: WindowBits -> Rep WindowBits x # to :: Rep WindowBits x -> WindowBits #
Generic ()
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type # Methods from :: () -> Rep () x # to :: Rep () x -> () #
Generic Bool
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type # Methods from :: Bool -> Rep Bool x # to :: Rep Bool x -> Bool #
Generic (ZipList a)
Instance details Defined in Control.Applicative Associated Types type Rep (ZipList a) :: Type -> Type # Methods from :: ZipList a -> Rep (ZipList a) x # to :: Rep (ZipList a) x -> ZipList a #
Generic (Complex a)
Instance details Defined in Data.Complex Associated Types type Rep (Complex a) :: Type -> Type # Methods from :: Complex a -> Rep (Complex a) x # to :: Rep (Complex a) x -> Complex a #
Generic (Identity a)
Instance details Defined in Data.Functor.Identity Associated Types type Rep (Identity a) :: Type -> Type # Methods from :: Identity a -> Rep (Identity a) x # to :: Rep (Identity a) x -> Identity a #
Generic (First a)
Instance details Defined in Data.Monoid Associated Types type Rep (First a) :: Type -> Type # Methods from :: First a -> Rep (First a) x # to :: Rep (First a) x -> First a #
Generic (Last a)
Instance details Defined in Data.Monoid Associated Types type Rep (Last a) :: Type -> Type # Methods from :: Last a -> Rep (Last a) x # to :: Rep (Last a) x -> Last a #
Generic (Down a)
Instance details Defined in GHC.Generics Associated Types type Rep (Down a) :: Type -> Type # Methods from :: Down a -> Rep (Down a) x # to :: Rep (Down a) x -> Down a #
Generic (First a)
Instance details Defined in Data.Semigroup Associated Types type Rep (First a) :: Type -> Type # Methods from :: First a -> Rep (First a) x # to :: Rep (First a) x -> First a #
Generic (Last a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Last a) :: Type -> Type # Methods from :: Last a -> Rep (Last a) x # to :: Rep (Last a) x -> Last a #
Generic (Max a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Max a) :: Type -> Type # Methods from :: Max a -> Rep (Max a) x # to :: Rep (Max a) x -> Max a #
Generic (Min a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Min a) :: Type -> Type # Methods from :: Min a -> Rep (Min a) x # to :: Rep (Min a) x -> Min a #
Generic (WrappedMonoid m)
Instance details Defined in Data.Semigroup Associated Types type Rep (WrappedMonoid m) :: Type -> Type # Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x # to :: Rep (WrappedMonoid m) x -> WrappedMonoid m #
Generic (Dual a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Dual a) :: Type -> Type # Methods from :: Dual a -> Rep (Dual a) x # to :: Rep (Dual a) x -> Dual a #
Generic (Endo a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Endo a) :: Type -> Type # Methods from :: Endo a -> Rep (Endo a) x # to :: Rep (Endo a) x -> Endo a #
Generic (Product a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Product a) :: Type -> Type # Methods from :: Product a -> Rep (Product a) x # to :: Rep (Product a) x -> Product a #
Generic (Sum a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Sum a) :: Type -> Type # Methods from :: Sum a -> Rep (Sum a) x # to :: Rep (Sum a) x -> Sum a #
Generic (NonEmpty a)
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type # Methods from :: NonEmpty a -> Rep (NonEmpty a) x # to :: Rep (NonEmpty a) x -> NonEmpty a #
Generic (Par1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (Par1 p) :: Type -> Type # Methods from :: Par1 p -> Rep (Par1 p) x # to :: Rep (Par1 p) x -> Par1 p #
Generic (Digit a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Digit a) :: Type -> Type # Methods from :: Digit a -> Rep (Digit a) x # to :: Rep (Digit a) x -> Digit a #
Generic (Elem a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Elem a) :: Type -> Type # Methods from :: Elem a -> Rep (Elem a) x # to :: Rep (Elem a) x -> Elem a #
Generic (FingerTree a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (FingerTree a) :: Type -> Type # Methods from :: FingerTree a -> Rep (FingerTree a) x # to :: Rep (FingerTree a) x -> FingerTree a #
Generic (Node a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Node a) :: Type -> Type # Methods from :: Node a -> Rep (Node a) x # to :: Rep (Node a) x -> Node a #
Generic (ViewL a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewL a) :: Type -> Type # Methods from :: ViewL a -> Rep (ViewL a) x # to :: Rep (ViewL a) x -> ViewL a #
Generic (ViewR a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewR a) :: Type -> Type # Methods from :: ViewR a -> Rep (ViewR a) x # to :: Rep (ViewR a) x -> ViewR a #
Generic (Tree a)
Instance details Defined in Data.Tree Associated Types type Rep (Tree a) :: Type -> Type # Methods from :: Tree a -> Rep (Tree a) x # to :: Rep (Tree a) x -> Tree a #
Generic (ErrorFancy e)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ErrorFancy e) :: Type -> Type # Methods from :: ErrorFancy e -> Rep (ErrorFancy e) x # to :: Rep (ErrorFancy e) x -> ErrorFancy e #
Generic (ErrorItem t)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ErrorItem t) :: Type -> Type # Methods from :: ErrorItem t -> Rep (ErrorItem t) x # to :: Rep (ErrorItem t) x -> ErrorItem t #
Generic (PosState s)
Instance details Defined in Text.Megaparsec.State Associated Types type Rep (PosState s) :: Type -> Type # Methods from :: PosState s -> Rep (PosState s) x # to :: Rep (PosState s) x -> PosState s #
Generic (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep (Doc a) :: Type -> Type # Methods from :: Doc a -> Rep (Doc a) x # to :: Rep (Doc a) x -> Doc a #
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 #
Generic (TyVarBndr flag)
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep (TyVarBndr flag) :: Type -> Type # Methods from :: TyVarBndr flag -> Rep (TyVarBndr flag) x # to :: Rep (TyVarBndr flag) x -> TyVarBndr flag #
Generic (Maybe a)
Instance details Defined in GHC.Generics Associated Types type Rep (Maybe a) :: Type -> Type # Methods from :: Maybe a -> Rep (Maybe a) x # to :: Rep (Maybe a) x -> Maybe a #
Generic (a)
Instance details Defined in GHC.Generics Associated Types type Rep (a) :: Type -> Type # Methods from :: (a) -> Rep (a) x # to :: Rep (a) x -> (a) #
Generic [a]
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type # Methods from :: [a] -> Rep [a] x # to :: Rep [a] x -> [a] #
Generic (WrappedMonad m a)
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedMonad m a) :: Type -> Type # Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x # to :: Rep (WrappedMonad m a) x -> WrappedMonad m a #
Generic (Either a b)
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) :: Type -> Type # Methods from :: Either a b -> Rep (Either a b) x # to :: Rep (Either a b) x -> Either a b #
Generic (Proxy t)
Instance details Defined in GHC.Generics Associated Types type Rep (Proxy t) :: Type -> Type # Methods from :: Proxy t -> Rep (Proxy t) x # to :: Rep (Proxy t) x -> Proxy t #
Generic (Arg a b)
Instance details Defined in Data.Semigroup Associated Types type Rep (Arg a b) :: Type -> Type # Methods from :: Arg a b -> Rep (Arg a b) x # to :: Rep (Arg a b) x -> Arg a b #
Generic (U1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (U1 p) :: Type -> Type # Methods from :: U1 p -> Rep (U1 p) x # to :: Rep (U1 p) x -> U1 p #
Generic (V1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (V1 p) :: Type -> Type # Methods from :: V1 p -> Rep (V1 p) x # to :: Rep (V1 p) x -> V1 p #
Generic (ParseError s e)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ParseError s e) :: Type -> Type # Methods from :: ParseError s e -> Rep (ParseError s e) x # to :: Rep (ParseError s e) x -> ParseError s e #
Generic (ParseErrorBundle s e)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ParseErrorBundle s e) :: Type -> Type # Methods from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x # to :: Rep (ParseErrorBundle s e) x -> ParseErrorBundle s e #
Generic (State s e)
Instance details Defined in Text.Megaparsec.State Associated Types type Rep (State s e) :: Type -> Type # Methods from :: State s e -> Rep (State s e) x # to :: Rep (State s e) x -> State s e #
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 #
Generic (MaybeT m a)
Instance details Defined in Control.Monad.Trans.Maybe Associated Types type Rep (MaybeT m a) :: Type -> Type # Methods from :: MaybeT m a -> Rep (MaybeT m a) x # to :: Rep (MaybeT m a) x -> MaybeT m a #
Generic (a, b)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type # Methods from :: (a, b) -> Rep (a, b) x # to :: Rep (a, b) x -> (a, b) #
Generic (WrappedArrow a b c)
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedArrow a b c) :: Type -> Type # Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x # to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c #
Generic (Kleisli m a b)
Instance details Defined in Control.Arrow Associated Types type Rep (Kleisli m a b) :: Type -> Type # Methods from :: Kleisli m a b -> Rep (Kleisli m a b) x # to :: Rep (Kleisli m a b) x -> Kleisli m a b #
Generic (Const a b)
Instance details Defined in Data.Functor.Const Associated Types type Rep (Const a b) :: Type -> Type # Methods from :: Const a b -> Rep (Const a b) x # to :: Rep (Const a b) x -> Const a b #
Generic (Ap f a)
Instance details Defined in Data.Monoid Associated Types type Rep (Ap f a) :: Type -> Type # Methods from :: Ap f a -> Rep (Ap f a) x # to :: Rep (Ap f a) x -> Ap f a #
Generic (Alt f a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Alt f a) :: Type -> Type # Methods from :: Alt f a -> Rep (Alt f a) x # to :: Rep (Alt f a) x -> Alt f a #
Generic (Rec1 f p)
Instance details Defined in GHC.Generics Associated Types type Rep (Rec1 f p) :: Type -> Type # Methods from :: Rec1 f p -> Rep (Rec1 f p) x # to :: Rep (Rec1 f p) x -> Rec1 f p #
Generic (URec (Ptr ()) p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type # Methods from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x # to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p #
Generic (URec Char p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Char p) :: Type -> Type # Methods from :: URec Char p -> Rep (URec Char p) x # to :: Rep (URec Char p) x -> URec Char p #
Generic (URec Double p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Double p) :: Type -> Type # Methods from :: URec Double p -> Rep (URec Double p) x # to :: Rep (URec Double p) x -> URec Double p #
Generic (URec Float p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Float p) :: Type -> Type # Methods from :: URec Float p -> Rep (URec Float p) x # to :: Rep (URec Float p) x -> URec Float p #
Generic (URec Int p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Int p) :: Type -> Type # Methods from :: URec Int p -> Rep (URec Int p) x # to :: Rep (URec Int p) x -> URec Int p #
Generic (URec Word p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Word p) :: Type -> Type # Methods from :: URec Word p -> Rep (URec Word p) x # to :: Rep (URec Word p) x -> URec Word p #
Generic (WCSAxis alt axis) Source #
Instance details Defined in Telescope.Data.WCS Associated Types type Rep (WCSAxis alt axis) :: Type -> Type # Methods from :: WCSAxis alt axis -> Rep (WCSAxis alt axis) x # to :: Rep (WCSAxis alt axis) x -> WCSAxis alt axis #
Generic (Backwards f a)
Instance details Defined in Control.Applicative.Backwards Associated Types type Rep (Backwards f a) :: Type -> Type # Methods from :: Backwards f a -> Rep (Backwards f a) x # to :: Rep (Backwards f a) x -> Backwards f a #
Generic (AccumT w m a)
Instance details Defined in Control.Monad.Trans.Accum Associated Types type Rep (AccumT w m a) :: Type -> Type # Methods from :: AccumT w m a -> Rep (AccumT w m a) x # to :: Rep (AccumT w m a) x -> AccumT w m a #
Generic (ExceptT e m a)
Instance details Defined in Control.Monad.Trans.Except Associated Types type Rep (ExceptT e m a) :: Type -> Type # Methods from :: ExceptT e m a -> Rep (ExceptT e m a) x # to :: Rep (ExceptT e m a) x -> ExceptT e m a #
Generic (IdentityT f a)
Instance details Defined in Control.Monad.Trans.Identity Associated Types type Rep (IdentityT f a) :: Type -> Type # Methods from :: IdentityT f a -> Rep (IdentityT f a) x # to :: Rep (IdentityT f a) x -> IdentityT f a #
Generic (ReaderT r m a)
Instance details Defined in Control.Monad.Trans.Reader Associated Types type Rep (ReaderT r m a) :: Type -> Type # Methods from :: ReaderT r m a -> Rep (ReaderT r m a) x # to :: Rep (ReaderT r m a) x -> ReaderT r m a #
Generic (SelectT r m a)
Instance details Defined in Control.Monad.Trans.Select Associated Types type Rep (SelectT r m a) :: Type -> Type # Methods from :: SelectT r m a -> Rep (SelectT r m a) x # to :: Rep (SelectT r m a) x -> SelectT r m a #
Generic (StateT s m a)
Instance details Defined in Control.Monad.Trans.State.Lazy Associated Types type Rep (StateT s m a) :: Type -> Type # Methods from :: StateT s m a -> Rep (StateT s m a) x # to :: Rep (StateT s m a) x -> StateT s m a #
Generic (StateT s m a)
Instance details Defined in Control.Monad.Trans.State.Strict Associated Types type Rep (StateT s m a) :: Type -> Type # Methods from :: StateT s m a -> Rep (StateT s m a) x # to :: Rep (StateT s m a) x -> StateT s m a #
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.CPS Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x # to :: Rep (WriterT w m a) x -> WriterT w m a #
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x # to :: Rep (WriterT w m a) x -> WriterT w m a #
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Strict Associated Types type Rep (WriterT w m a) :: Type -> Type # Methods from :: WriterT w m a -> Rep (WriterT w m a) x # to :: Rep (WriterT w m a) x -> WriterT w m a #
Generic (Reverse f a)
Instance details Defined in Data.Functor.Reverse Associated Types type Rep (Reverse f a) :: Type -> Type # Methods from :: Reverse f a -> Rep (Reverse f a) x # to :: Rep (Reverse f a) x -> Reverse f a #
Generic (a, b, c)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type # Methods from :: (a, b, c) -> Rep (a, b, c) x # to :: Rep (a, b, c) x -> (a, b, c) #
Generic (Product f g a)
Instance details Defined in Data.Functor.Product Associated Types type Rep (Product f g a) :: Type -> Type # Methods from :: Product f g a -> Rep (Product f g a) x # to :: Rep (Product f g a) x -> Product f g a #
Generic (Sum f g a)
Instance details Defined in Data.Functor.Sum Associated Types type Rep (Sum f g a) :: Type -> Type # Methods from :: Sum f g a -> Rep (Sum f g a) x # to :: Rep (Sum f g a) x -> Sum f g a #
Generic ((f :*: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type # Methods from :: (f :: g) p -> Rep ((f :: g) p) x # to :: Rep ((f :: g) p) x -> (f :*: g) p #
Generic ((f :+: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x # to :: Rep ((f :+: g) p) x -> (f :+: g) p #
Generic (K1 i c p)
Instance details Defined in GHC.Generics Associated Types type Rep (K1 i c p) :: Type -> Type # Methods from :: K1 i c p -> Rep (K1 i c p) x # to :: Rep (K1 i c p) x -> K1 i c p #
Generic (ContT r m a)
Instance details Defined in Control.Monad.Trans.Cont Associated Types type Rep (ContT r m a) :: Type -> Type # Methods from :: ContT r m a -> Rep (ContT r m a) x # to :: Rep (ContT r m a) x -> ContT r m a #
Generic (a, b, c, d)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x # to :: Rep (a, b, c, d) x -> (a, b, c, d) #
Generic (Compose f g a)
Instance details Defined in Data.Functor.Compose Associated Types type Rep (Compose f g a) :: Type -> Type # Methods from :: Compose f g a -> Rep (Compose f g a) x # to :: Rep (Compose f g a) x -> Compose f g a #
Generic ((f :.: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x # to :: Rep ((f :.: g) p) x -> (f :.: g) p #
Generic (M1 i c f p)
Instance details Defined in GHC.Generics Associated Types type Rep (M1 i c f p) :: Type -> Type # Methods from :: M1 i c f p -> Rep (M1 i c f p) x # to :: Rep (M1 i c f p) x -> M1 i c f p #
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.CPS Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x # to :: Rep (RWST r w s m a) x -> RWST r w s m a #
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x # to :: Rep (RWST r w s m a) x -> RWST r w s m a #
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.Strict Associated Types type Rep (RWST r w s m a) :: Type -> Type # Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x # to :: Rep (RWST r w s m a) x -> RWST r w s m a #
Generic (a, b, c, d, e)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x # to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e) #
Generic (a, b, c, d, e, f)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x # to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f) #
Generic (a, b, c, d, e, f, g)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x # to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g) #
Generic (a, b, c, d, e, f, g, h)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x # to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h) #
Generic (a, b, c, d, e, f, g, h, i)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i) x # to :: Rep (a, b, c, d, e, f, g, h, i) x -> (a, b, c, d, e, f, g, h, i) #
Generic (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j) -> Rep (a, b, c, d, e, f, g, h, i, j) x # to :: Rep (a, b, c, d, e, f, g, h, i, j) x -> (a, b, c, d, e, f, g, h, i, j) #
Generic (a, b, c, d, e, f, g, h, i, j, k)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k) -> Rep (a, b, c, d, e, f, g, h, i, j, k) x # to :: Rep (a, b, c, d, e, f, g, h, i, j, k) x -> (a, b, c, d, e, f, g, h, i, j, k) #
Generic (a, b, c, d, e, f, g, h, i, j, k, l)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) x # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l) x -> (a, b, c, d, e, f, g, h, i, j, k, l) #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m) #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) #
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Type -> Type # Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) #