Telescope.Data.Axes

Documentation

type Axis = Int

newtype Axes (a :: Major)

Constructors

Axes

Fields

• axes :: [Axis]

Instances

IsList (Axes 'Row)

Defined in Telescope.Data.Axes

Associated Types

type Item (Axes 'Row)

Defined in Telescope.Data.Axes

type Item (Axes 'Row) = Axis

Methods

fromList :: [Item (Axes 'Row)] -> Axes 'Row

fromListN :: Int -> [Item (Axes 'Row)] -> Axes 'Row

toList :: Axes 'Row -> [Item (Axes 'Row)]

Show (Axes a)

Defined in Telescope.Data.Axes

Methods

showsPrec :: Int -> Axes a -> ShowS

show :: Axes a -> String

showList :: [Axes a] -> ShowS

Eq (Axes a)

Defined in Telescope.Data.Axes

Methods

(==) :: Axes a -> Axes a -> Bool

(/=) :: Axes a -> Axes a -> Bool

ToAsdf (Axes 'Row)

Defined in Telescope.Asdf.Class

Methods

toValue :: Axes 'Row -> Value

schema :: Axes 'Row -> SchemaTag

anchor :: Axes 'Row -> Maybe Anchor

toNode :: Axes 'Row -> Node

type Item (Axes 'Row)

Defined in Telescope.Data.Axes

type Item (Axes 'Row) = Axis

data Major

Constructors

Row

Column

axesRowMajor :: [Axis] -> Axes 'Row

axesColumnMajor :: [Axis] -> Axes 'Column

toRowMajor :: Axes 'Column -> Axes 'Row

toColumnMajor :: Axes 'Row -> Axes 'Column

totalItems :: forall (a :: Major). Axes a -> Int

class AxisOrder (ax :: k) where

Specify which numbered axis a type represents

data X
instance AxisOrder X where
  axisN = 1

data Y
instance AxisOrder Y where
  axisN = 2

Methods

axisN :: Natural