Generics.POSable.Instances

This module contains instances of POSable for all Haskell prelude data types as well as fixed size integers from Data.Int (Int8, Int16, Int32 and Int64)

Documentation

class KnownNat (Choices x) => POSable x

POSable, the base of this library. Provide a compact memory representation for a type and a function to get back to the original type. This memory representation consist of choices, that represent all constructor choices in the type in a single Finite integer, and fields which represents all values in the type as a Product of Sums, which can be mapped to a struct-of-arrays representation for use in array-based languages like Accelerate.

Instances

POSable Bool

Defined in Generics.POSable.Instances

Associated Types

type Choices Bool :: Nat

type Fields Bool :: [[Type]]

Methods

choices :: Bool -> Finite (Choices Bool)

tags :: [Integer]

fromPOSable :: Finite (Choices Bool) -> Product (Fields Bool) -> Bool

fields :: Bool -> Product (Fields Bool)

emptyFields :: ProductType (Fields Bool)

POSable Double

Defined in Examples

Associated Types

type Choices Double :: Nat

type Fields Double :: [[Type]]

Methods

choices :: Double -> Finite (Choices Double)

tags :: [Integer]

fromPOSable :: Finite (Choices Double) -> Product (Fields Double) -> Double

fields :: Double -> Product (Fields Double)

emptyFields :: ProductType (Fields Double)

POSable Float

Defined in Examples

Associated Types

type Choices Float :: Nat

type Fields Float :: [[Type]]

Methods

choices :: Float -> Finite (Choices Float)

tags :: [Integer]

fromPOSable :: Finite (Choices Float) -> Product (Fields Float) -> Float

fields :: Float -> Product (Fields Float)

emptyFields :: ProductType (Fields Float)

POSable Ordering

Defined in Generics.POSable.Instances

Associated Types

type Choices Ordering :: Nat

type Fields Ordering :: [[Type]]

Methods

choices :: Ordering -> Finite (Choices Ordering)

tags :: [Integer]

fromPOSable :: Finite (Choices Ordering) -> Product (Fields Ordering) -> Ordering

fields :: Ordering -> Product (Fields Ordering)

emptyFields :: ProductType (Fields Ordering)

POSable ()

Defined in Generics.POSable.Instances

Associated Types

type Choices () :: Nat

type Fields () :: [[Type]]

Methods

choices :: () -> Finite (Choices ())

tags :: [Integer]

fromPOSable :: Finite (Choices ()) -> Product (Fields ()) -> ()

fields :: () -> Product (Fields ())

emptyFields :: ProductType (Fields ())

POSable Undef

Defined in Generics.POSable.Instances

Associated Types

type Choices Undef :: Nat

type Fields Undef :: [[Type]]

Methods

choices :: Undef -> Finite (Choices Undef)

tags :: [Integer]

fromPOSable :: Finite (Choices Undef) -> Product (Fields Undef) -> Undef

fields :: Undef -> Product (Fields Undef)

emptyFields :: ProductType (Fields Undef)

POSable x => POSable (Maybe x)

Defined in Generics.POSable.Instances

Associated Types

type Choices (Maybe x) :: Nat

type Fields (Maybe x) :: [[Type]]

Methods

choices :: Maybe x -> Finite (Choices (Maybe x))

tags :: [Integer]

fromPOSable :: Finite (Choices (Maybe x)) -> Product (Fields (Maybe x)) -> Maybe x

fields :: Maybe x -> Product (Fields (Maybe x))

emptyFields :: ProductType (Fields (Maybe x))

(POSable l, POSable r) => POSable (Either l r)

Defined in Generics.POSable.Instances

Associated Types

type Choices (Either l r) :: Nat

type Fields (Either l r) :: [[Type]]

Methods

choices :: Either l r -> Finite (Choices (Either l r))

tags :: [Integer]

fromPOSable :: Finite (Choices (Either l r)) -> Product (Fields (Either l r)) -> Either l r

fields :: Either l r -> Product (Fields (Either l r))

emptyFields :: ProductType (Fields (Either l r))

(POSable x0, POSable x1) => POSable (x0, x1)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1) :: Nat

type Fields (x0, x1) :: [[Type]]

Methods

choices :: (x0, x1) -> Finite (Choices (x0, x1))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1)) -> Product (Fields (x0, x1)) -> (x0, x1)

fields :: (x0, x1) -> Product (Fields (x0, x1))

emptyFields :: ProductType (Fields (x0, x1))

(POSable x0, POSable x1, POSable x2) => POSable (x0, x1, x2)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2) :: Nat

type Fields (x0, x1, x2) :: [[Type]]

Methods

choices :: (x0, x1, x2) -> Finite (Choices (x0, x1, x2))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2)) -> Product (Fields (x0, x1, x2)) -> (x0, x1, x2)

fields :: (x0, x1, x2) -> Product (Fields (x0, x1, x2))

emptyFields :: ProductType (Fields (x0, x1, x2))

(POSable x0, POSable x1, POSable x2, POSable x3) => POSable (x0, x1, x2, x3)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3) :: Nat

type Fields (x0, x1, x2, x3) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3) -> Finite (Choices (x0, x1, x2, x3))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3)) -> Product (Fields (x0, x1, x2, x3)) -> (x0, x1, x2, x3)

fields :: (x0, x1, x2, x3) -> Product (Fields (x0, x1, x2, x3))

emptyFields :: ProductType (Fields (x0, x1, x2, x3))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4) => POSable (x0, x1, x2, x3, x4)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4) :: Nat

type Fields (x0, x1, x2, x3, x4) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4) -> Finite (Choices (x0, x1, x2, x3, x4))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4)) -> Product (Fields (x0, x1, x2, x3, x4)) -> (x0, x1, x2, x3, x4)

fields :: (x0, x1, x2, x3, x4) -> Product (Fields (x0, x1, x2, x3, x4))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5) => POSable (x0, x1, x2, x3, x4, x5)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5) :: Nat

type Fields (x0, x1, x2, x3, x4, x5) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5) -> Finite (Choices (x0, x1, x2, x3, x4, x5))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5)) -> Product (Fields (x0, x1, x2, x3, x4, x5)) -> (x0, x1, x2, x3, x4, x5)

fields :: (x0, x1, x2, x3, x4, x5) -> Product (Fields (x0, x1, x2, x3, x4, x5))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6) => POSable (x0, x1, x2, x3, x4, x5, x6)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6)) -> (x0, x1, x2, x3, x4, x5, x6)

fields :: (x0, x1, x2, x3, x4, x5, x6) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7) => POSable (x0, x1, x2, x3, x4, x5, x6, x7)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7)) -> (x0, x1, x2, x3, x4, x5, x6, x7)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13, POSable x14) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13, POSable x14, POSable x15) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)

Defined in Generics.POSable.Instances

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))

Orphan instances

POSable Bool

Associated Types

type Choices Bool :: Nat

type Fields Bool :: [[Type]]

Methods

choices :: Bool -> Finite (Choices Bool)

tags :: [Integer]

fromPOSable :: Finite (Choices Bool) -> Product (Fields Bool) -> Bool

fields :: Bool -> Product (Fields Bool)

emptyFields :: ProductType (Fields Bool)

POSable Ordering

Associated Types

type Choices Ordering :: Nat

type Fields Ordering :: [[Type]]

Methods

choices :: Ordering -> Finite (Choices Ordering)

tags :: [Integer]

fromPOSable :: Finite (Choices Ordering) -> Product (Fields Ordering) -> Ordering

fields :: Ordering -> Product (Fields Ordering)

emptyFields :: ProductType (Fields Ordering)

POSable ()

Associated Types

type Choices () :: Nat

type Fields () :: [[Type]]

Methods

choices :: () -> Finite (Choices ())

tags :: [Integer]

fromPOSable :: Finite (Choices ()) -> Product (Fields ()) -> ()

fields :: () -> Product (Fields ())

emptyFields :: ProductType (Fields ())

POSable Undef

Associated Types

type Choices Undef :: Nat

type Fields Undef :: [[Type]]

Methods

choices :: Undef -> Finite (Choices Undef)

tags :: [Integer]

fromPOSable :: Finite (Choices Undef) -> Product (Fields Undef) -> Undef

fields :: Undef -> Product (Fields Undef)

emptyFields :: ProductType (Fields Undef)

POSable x => POSable (Maybe x)

Associated Types

type Choices (Maybe x) :: Nat

type Fields (Maybe x) :: [[Type]]

Methods

choices :: Maybe x -> Finite (Choices (Maybe x))

tags :: [Integer]

fromPOSable :: Finite (Choices (Maybe x)) -> Product (Fields (Maybe x)) -> Maybe x

fields :: Maybe x -> Product (Fields (Maybe x))

emptyFields :: ProductType (Fields (Maybe x))

(POSable l, POSable r) => POSable (Either l r)

Associated Types

type Choices (Either l r) :: Nat

type Fields (Either l r) :: [[Type]]

Methods

choices :: Either l r -> Finite (Choices (Either l r))

tags :: [Integer]

fromPOSable :: Finite (Choices (Either l r)) -> Product (Fields (Either l r)) -> Either l r

fields :: Either l r -> Product (Fields (Either l r))

emptyFields :: ProductType (Fields (Either l r))

(POSable x0, POSable x1) => POSable (x0, x1)

Associated Types

type Choices (x0, x1) :: Nat

type Fields (x0, x1) :: [[Type]]

Methods

choices :: (x0, x1) -> Finite (Choices (x0, x1))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1)) -> Product (Fields (x0, x1)) -> (x0, x1)

fields :: (x0, x1) -> Product (Fields (x0, x1))

emptyFields :: ProductType (Fields (x0, x1))

(POSable x0, POSable x1, POSable x2) => POSable (x0, x1, x2)

Associated Types

type Choices (x0, x1, x2) :: Nat

type Fields (x0, x1, x2) :: [[Type]]

Methods

choices :: (x0, x1, x2) -> Finite (Choices (x0, x1, x2))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2)) -> Product (Fields (x0, x1, x2)) -> (x0, x1, x2)

fields :: (x0, x1, x2) -> Product (Fields (x0, x1, x2))

emptyFields :: ProductType (Fields (x0, x1, x2))

(POSable x0, POSable x1, POSable x2, POSable x3) => POSable (x0, x1, x2, x3)

Associated Types

type Choices (x0, x1, x2, x3) :: Nat

type Fields (x0, x1, x2, x3) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3) -> Finite (Choices (x0, x1, x2, x3))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3)) -> Product (Fields (x0, x1, x2, x3)) -> (x0, x1, x2, x3)

fields :: (x0, x1, x2, x3) -> Product (Fields (x0, x1, x2, x3))

emptyFields :: ProductType (Fields (x0, x1, x2, x3))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4) => POSable (x0, x1, x2, x3, x4)

Associated Types

type Choices (x0, x1, x2, x3, x4) :: Nat

type Fields (x0, x1, x2, x3, x4) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4) -> Finite (Choices (x0, x1, x2, x3, x4))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4)) -> Product (Fields (x0, x1, x2, x3, x4)) -> (x0, x1, x2, x3, x4)

fields :: (x0, x1, x2, x3, x4) -> Product (Fields (x0, x1, x2, x3, x4))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5) => POSable (x0, x1, x2, x3, x4, x5)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5) :: Nat

type Fields (x0, x1, x2, x3, x4, x5) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5) -> Finite (Choices (x0, x1, x2, x3, x4, x5))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5)) -> Product (Fields (x0, x1, x2, x3, x4, x5)) -> (x0, x1, x2, x3, x4, x5)

fields :: (x0, x1, x2, x3, x4, x5) -> Product (Fields (x0, x1, x2, x3, x4, x5))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6) => POSable (x0, x1, x2, x3, x4, x5, x6)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6)) -> (x0, x1, x2, x3, x4, x5, x6)

fields :: (x0, x1, x2, x3, x4, x5, x6) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7) => POSable (x0, x1, x2, x3, x4, x5, x6, x7)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7)) -> (x0, x1, x2, x3, x4, x5, x6, x7)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13, POSable x14) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14))

(POSable x0, POSable x1, POSable x2, POSable x3, POSable x4, POSable x5, POSable x6, POSable x7, POSable x8, POSable x9, POSable x10, POSable x11, POSable x12, POSable x13, POSable x14, POSable x15) => POSable (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)

Associated Types

type Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) :: Nat

type Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) :: [[Type]]

Methods

choices :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))

tags :: [Integer]

fromPOSable :: Finite (Choices (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)) -> (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15)

fields :: (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> Product (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))

emptyFields :: ProductType (Fields (x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15))