Safe Haskell	None
Language	GHC2021

Telescope.Asdf.NDArray.Types

Synopsis

data NDArrayData = NDArrayData {
- bytes :: ByteString
- byteorder :: ByteOrder
- datatype :: DataType
- shape :: Axes 'Row
}
data DataType
- = Float64
- | Float32
- | Int64
- | Int32
- | Int16
- | Int8
- | Bool8
- | Ucs4 Int
class IsDataType (a :: k) where
- dataType :: DataType

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 #

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 #