Safe Haskell	None
Language	Haskell98

Data.Array.Comfort.Shape.SubSize

Description

Framework for extracting subsize in unsafeCreateWithSizes.

Synopsis

newtype T sh nsize = Cons {
- measure :: sh -> (Int, nsize)
}
auto :: C nsize => T (ToShape nsize) nsize
atom :: C sh => T sh Int
data Sub nsize = Sub Int nsize
sub :: T sh nsize -> T sh (Sub nsize)
pair :: T sh0 nsize0 -> T sh1 nsize1 -> T (sh0, sh1) (nsize0, nsize1)
triple :: T sh0 nsize0 -> T sh1 nsize1 -> T sh2 nsize2 -> T (sh0, sh1, sh2) (nsize0, nsize1, nsize2)
append :: T sh0 nsize0 -> T sh1 nsize1 -> T (sh0 ::+ sh1) (nsize0 ::+ nsize1)
class C nsize where
- type ToShape nsize
newtype Atom sh = Atom Int
evaluate :: C nsize => ToShape nsize -> (Int, nsize)

Documentation

newtype T sh nsize Source #

Constructors

Cons
Fields measure :: sh -> (Int, nsize)

auto :: C nsize => T (ToShape nsize) nsize Source #

atom :: C sh => T sh Int Source #

data Sub nsize Source #

Constructors

Sub Int nsize

Instances

Instances details

C sub => C (Sub sub) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (Sub sub)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (Sub sub) = ToShape sub

Methods

evaluate :: ToShape (Sub sub) -> (Int, Sub sub) Source #

type ToShape (Sub sub) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

type ToShape (Sub sub) = ToShape sub

sub :: T sh nsize -> T sh (Sub nsize) Source #

pair :: T sh0 nsize0 -> T sh1 nsize1 -> T (sh0, sh1) (nsize0, nsize1) Source #

triple :: T sh0 nsize0 -> T sh1 nsize1 -> T sh2 nsize2 -> T (sh0, sh1, sh2) (nsize0, nsize1, nsize2) Source #

append :: T sh0 nsize0 -> T sh1 nsize1 -> T (sh0 ::+ sh1) (nsize0 ::+ nsize1) Source #

class C nsize Source #

Minimal complete definition

evaluate

Associated Types

type ToShape nsize Source #

Instances

Instances details

C sh => C (Atom sh) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (Atom sh)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (Atom sh) = sh

Methods

evaluate :: ToShape (Atom sh) -> (Int, Atom sh) Source #

C sub => C (Sub sub) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (Sub sub)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (Sub sub) = ToShape sub

Methods

evaluate :: ToShape (Sub sub) -> (Int, Sub sub) Source #

(C nsize0, C nsize1) => C (nsize0 ::+ nsize1) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (nsize0 ::+ nsize1)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (nsize0 ::+ nsize1) = ToShape nsize0 ::+ ToShape nsize1

Methods

evaluate :: ToShape (nsize0 ::+ nsize1) -> (Int, nsize0 ::+ nsize1) Source #

(C nsize0, C nsize1) => C (nsize0, nsize1) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (nsize0, nsize1)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (nsize0, nsize1) = (ToShape nsize0, ToShape nsize1)

Methods

evaluate :: ToShape (nsize0, nsize1) -> (Int, (nsize0, nsize1)) Source #

(C nsize0, C nsize1, C nsize2) => C (nsize0, nsize1, nsize2) Source #

Instance details

Defined in Data.Array.Comfort.Shape.SubSize

Associated Types

type ToShape (nsize0, nsize1, nsize2)
Instance details Defined in Data.Array.Comfort.Shape.SubSize type ToShape (nsize0, nsize1, nsize2) = (ToShape nsize0, ToShape nsize1, ToShape nsize2)