Safe Haskell	None
Language	GHC2021

Telescope.Asdf.NDArray

Synopsis

data NDArrayData = NDArrayData {
- bytes :: ByteString
- byteorder :: ByteOrder
- datatype :: DataType
- shape :: Axes 'Row
}
class FromNDArray a where
- fromNDArray :: forall (es :: [Effect]). Parser :> es => NDArrayData -> Eff es a
class ToNDArray a where
- toNDArray :: a -> NDArrayData
data DataType
- = Float64
- | Float32
- | Int64
- | Int32
- | Int16
- | Int8
- | Bool8
- | Ucs4 Int
class IsDataType (a :: k) where
- dataType :: DataType
parseGet :: forall (es :: [Effect]) a. Parser :> es => Get a -> ByteString -> Eff es a
ndArrayPut :: IsDataType a => (a -> Axes 'Row) -> (a -> Put) -> a -> NDArrayData
ndArrayMassiv :: (IsDataType a, BinaryValue a, Prim a, AxesIndex ix, PutArray ix) => Array D ix a -> NDArrayData
parseMassiv :: forall a ix (es :: [Effect]). (BinaryValue a, AxesIndex ix, Parser :> es) => NDArrayData -> Eff es (Array D ix a)
parseNDArray :: forall a (es :: [Effect]). (FromNDArray a, Parser :> es) => Value -> Eff es a
data ByteOrder
- = BigEndian
- | LittleEndian
getUcs4 :: ByteOrder -> Int -> Get Text
putUcs4 :: Int -> Text -> Put
data Parser (a :: Type -> Type) b

Documentation

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 #

class FromNDArray a where Source #

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

Methods

fromNDArray :: forall (es :: [Effect]). 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 DataType Source #

Constructors

Float64
Float32
Int64
Int32
Int16
Int8
Bool8
Ucs4 Int

Instances

Instances details

Show DataType Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods showsPrec :: Int -> DataType -> ShowS # show :: DataType -> String # showList :: [DataType] -> ShowS #
Eq DataType Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods (==) :: DataType -> DataType -> Bool # (/=) :: DataType -> DataType -> Bool #
FromAsdf DataType Source #
Instance details Defined in Telescope.Asdf.Class Methods parseValue :: forall (es :: [Effect]). Parser :> es => Value -> Eff es DataType 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 #
IsDataType 'Int8 Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #

class IsDataType (a :: k) where Source #

Methods

dataType :: DataType Source #

Instances

Instances details

IsDataType 'Int8 Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType Int16 Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType Int32 Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType Int64 Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType Double Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType Float Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #
IsDataType a => IsDataType ([a] :: Type) Source #
Instance details Defined in Telescope.Asdf.NDArray.Types Methods dataType :: DataType Source #

parseGet :: forall (es :: [Effect]) a. Parser :> es => Get a -> ByteString -> Eff es a Source #

ndArrayPut :: IsDataType a => (a -> Axes 'Row) -> (a -> Put) -> a -> NDArrayData Source #

ndArrayMassiv :: (IsDataType a, BinaryValue a, Prim a, AxesIndex ix, PutArray ix) => Array D ix a -> NDArrayData Source #

parseMassiv :: forall a ix (es :: [Effect]). (BinaryValue a, AxesIndex ix, Parser :> es) => NDArrayData -> Eff es (Array D ix a) Source #

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

data ByteOrder #

Byte ordering.

Constructors

BigEndian	most-significant-byte occurs in lowest address.
LittleEndian	least-significant-byte occurs in lowest address.

Instances

Instances details

Bounded ByteOrder

Since: base-4.11.0.0

Instance details

Defined in GHC.ByteOrder

Methods

minBound :: ByteOrder #

maxBound :: ByteOrder #

Enum ByteOrder

Since: base-4.11.0.0

Instance details

Defined in GHC.ByteOrder

Methods

succ :: ByteOrder -> ByteOrder #

pred :: ByteOrder -> ByteOrder #

toEnum :: Int -> ByteOrder #

fromEnum :: ByteOrder -> Int #

enumFrom :: ByteOrder -> [ByteOrder] #

enumFromThen :: ByteOrder -> ByteOrder -> [ByteOrder] #

enumFromTo :: ByteOrder -> ByteOrder -> [ByteOrder] #

enumFromThenTo :: ByteOrder -> ByteOrder -> ByteOrder -> [ByteOrder] #

Generic ByteOrder

Instance details

Defined in GHC.ByteOrder

Associated Types

type Rep ByteOrder	Since: base-4.15.0.0
Instance details Defined in GHC.ByteOrder type Rep ByteOrder = D1 ('MetaData "ByteOrder" "GHC.ByteOrder" "base" 'False) (C1 ('MetaCons "BigEndian" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LittleEndian" 'PrefixI 'False) (U1 :: Type -> Type))