Data.Sized.Ix

Sized types X0 to X256.

Copyright: (c) 2009 University of Kansas License: BSD3

Maintainer: Andy Gill [e-mail] Stability: unstable Portability: ghc

Documentation

data X0

Instances

Bounded X0

Enum X0

Eq X0

Integral X0

Num X0

Ord X0

Real X0

Show X0

Ix X0

Size X0

type APP0 X0 = X0

type APP1 X0 = X1_ X0

type LOG X0 = X0

type SUCC X0 = X1_ X0

type NOT X0 = N1

type Index X0 = Int

type MUL x X0 = X0

type ADD a X0 = a

type ADD X0 a = a

type ADD X0 N1 = N1

type X1 = X1_ X0

type X2 = X0_ (X1_ X0)

type X3 = X1_ (X1_ X0)

type X4 = X0_ (X0_ (X1_ X0))

type X5 = X1_ (X0_ (X1_ X0))

type X6 = X0_ (X1_ (X1_ X0))

type X7 = X1_ (X1_ (X1_ X0))

type X8 = X0_ (X0_ (X0_ (X1_ X0)))

type X9 = X1_ (X0_ (X0_ (X1_ X0)))

type X10 = X0_ (X1_ (X0_ (X1_ X0)))

type X11 = X1_ (X1_ (X0_ (X1_ X0)))

type X12 = X0_ (X0_ (X1_ (X1_ X0)))

type X13 = X1_ (X0_ (X1_ (X1_ X0)))

type X14 = X0_ (X1_ (X1_ (X1_ X0)))

type X15 = X1_ (X1_ (X1_ (X1_ X0)))

type X16 = X0_ (X0_ (X0_ (X0_ (X1_ X0))))

type X17 = X1_ (X0_ (X0_ (X0_ (X1_ X0))))

type X18 = X0_ (X1_ (X0_ (X0_ (X1_ X0))))

type X19 = X1_ (X1_ (X0_ (X0_ (X1_ X0))))

type X20 = X0_ (X0_ (X1_ (X0_ (X1_ X0))))

type X21 = X1_ (X0_ (X1_ (X0_ (X1_ X0))))

type X22 = X0_ (X1_ (X1_ (X0_ (X1_ X0))))

type X23 = X1_ (X1_ (X1_ (X0_ (X1_ X0))))

type X24 = X0_ (X0_ (X0_ (X1_ (X1_ X0))))

type X25 = X1_ (X0_ (X0_ (X1_ (X1_ X0))))

type X26 = X0_ (X1_ (X0_ (X1_ (X1_ X0))))

type X27 = X1_ (X1_ (X0_ (X1_ (X1_ X0))))

type X28 = X0_ (X0_ (X1_ (X1_ (X1_ X0))))

type X29 = X1_ (X0_ (X1_ (X1_ (X1_ X0))))

type X30 = X0_ (X1_ (X1_ (X1_ (X1_ X0))))

type X31 = X1_ (X1_ (X1_ (X1_ (X1_ X0))))

type X32 = X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))

type X33 = X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))

type X34 = X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))

type X35 = X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))

type X36 = X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))

type X37 = X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))

type X38 = X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))

type X39 = X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))

type X40 = X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))

type X41 = X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))

type X42 = X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))

type X43 = X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))

type X44 = X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))

type X45 = X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))

type X46 = X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))

type X47 = X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))

type X48 = X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))

type X49 = X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))

type X50 = X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))

type X51 = X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))

type X52 = X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))

type X53 = X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))

type X54 = X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))

type X55 = X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))

type X56 = X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))

type X57 = X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))

type X58 = X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))

type X59 = X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))

type X60 = X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))

type X61 = X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))

type X62 = X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))

type X63 = X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))

type X64 = X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X65 = X1_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X66 = X0_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X67 = X1_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X68 = X0_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X69 = X1_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X70 = X0_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X71 = X1_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0))))))

type X72 = X0_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X73 = X1_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X74 = X0_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X75 = X1_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X76 = X0_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X77 = X1_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X78 = X0_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X79 = X1_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0))))))

type X80 = X0_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X81 = X1_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X82 = X0_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X83 = X1_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X84 = X0_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X85 = X1_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X86 = X0_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X87 = X1_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0))))))

type X88 = X0_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X89 = X1_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X90 = X0_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X91 = X1_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X92 = X0_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X93 = X1_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X94 = X0_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X95 = X1_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0))))))

type X96 = X0_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X97 = X1_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X98 = X0_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X99 = X1_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X100 = X0_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X101 = X1_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X102 = X0_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X103 = X1_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0))))))

type X104 = X0_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X105 = X1_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X106 = X0_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X107 = X1_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X108 = X0_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X109 = X1_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X110 = X0_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X111 = X1_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0))))))

type X112 = X0_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X113 = X1_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X114 = X0_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X115 = X1_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X116 = X0_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X117 = X1_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X118 = X0_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X119 = X1_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0))))))

type X120 = X0_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X121 = X1_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X122 = X0_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X123 = X1_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X124 = X0_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X125 = X1_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X126 = X0_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X127 = X1_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0))))))

type X128 = X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X129 = X1_ (X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X130 = X0_ (X1_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X131 = X1_ (X1_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X132 = X0_ (X0_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X133 = X1_ (X0_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X134 = X0_ (X1_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X135 = X1_ (X1_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X136 = X0_ (X0_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X137 = X1_ (X0_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X138 = X0_ (X1_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X139 = X1_ (X1_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X140 = X0_ (X0_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X141 = X1_ (X0_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X142 = X0_ (X1_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X143 = X1_ (X1_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ X0)))))))

type X144 = X0_ (X0_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X145 = X1_ (X0_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X146 = X0_ (X1_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X147 = X1_ (X1_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X148 = X0_ (X0_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X149 = X1_ (X0_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X150 = X0_ (X1_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X151 = X1_ (X1_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X152 = X0_ (X0_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X153 = X1_ (X0_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X154 = X0_ (X1_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X155 = X1_ (X1_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X156 = X0_ (X0_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X157 = X1_ (X0_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X158 = X0_ (X1_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X159 = X1_ (X1_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ X0)))))))

type X160 = X0_ (X0_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X161 = X1_ (X0_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X162 = X0_ (X1_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X163 = X1_ (X1_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X164 = X0_ (X0_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X165 = X1_ (X0_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X166 = X0_ (X1_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X167 = X1_ (X1_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X168 = X0_ (X0_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X169 = X1_ (X0_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X170 = X0_ (X1_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X171 = X1_ (X1_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X172 = X0_ (X0_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X173 = X1_ (X0_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X174 = X0_ (X1_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X175 = X1_ (X1_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ X0)))))))

type X176 = X0_ (X0_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X177 = X1_ (X0_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X178 = X0_ (X1_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X179 = X1_ (X1_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X180 = X0_ (X0_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X181 = X1_ (X0_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X182 = X0_ (X1_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X183 = X1_ (X1_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X184 = X0_ (X0_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X185 = X1_ (X0_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X186 = X0_ (X1_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X187 = X1_ (X1_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X188 = X0_ (X0_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X189 = X1_ (X0_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X190 = X0_ (X1_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X191 = X1_ (X1_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ X0)))))))

type X192 = X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X193 = X1_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X194 = X0_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X195 = X1_ (X1_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X196 = X0_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X197 = X1_ (X0_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X198 = X0_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X199 = X1_ (X1_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X200 = X0_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X201 = X1_ (X0_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X202 = X0_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X203 = X1_ (X1_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X204 = X0_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X205 = X1_ (X0_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X206 = X0_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X207 = X1_ (X1_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ X0)))))))

type X208 = X0_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X209 = X1_ (X0_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X210 = X0_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X211 = X1_ (X1_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X212 = X0_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X213 = X1_ (X0_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X214 = X0_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X215 = X1_ (X1_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X216 = X0_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X217 = X1_ (X0_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X218 = X0_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X219 = X1_ (X1_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X220 = X0_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X221 = X1_ (X0_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X222 = X0_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X223 = X1_ (X1_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ X0)))))))

type X224 = X0_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X225 = X1_ (X0_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X226 = X0_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X227 = X1_ (X1_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X228 = X0_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X229 = X1_ (X0_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X230 = X0_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X231 = X1_ (X1_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X232 = X0_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X233 = X1_ (X0_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X234 = X0_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X235 = X1_ (X1_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X236 = X0_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X237 = X1_ (X0_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X238 = X0_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X239 = X1_ (X1_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ X0)))))))

type X240 = X0_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X241 = X1_ (X0_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X242 = X0_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X243 = X1_ (X1_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X244 = X0_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X245 = X1_ (X0_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X246 = X0_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X247 = X1_ (X1_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X248 = X0_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X249 = X1_ (X0_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X250 = X0_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X251 = X1_ (X1_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X252 = X0_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X253 = X1_ (X0_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X254 = X0_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X255 = X1_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ (X1_ X0)))))))

type X256 = X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X0_ (X1_ X0))))))))

class (Eq ix, Ord ix, Show ix, Ix ix, Bounded ix) => Size ix where

Methods

size :: ix -> Int

return the size (number of possible elements) in type ix.

addIndex :: ix -> Index ix -> ix

add an arbitary index to a specific ix position.

toIndex :: ix -> Index ix

look at an ix as an Index, typically just an Int.

Instances

Size ()

Size X0

Size a => Size (X1_ a)

Size a => Size (X0_ a)

Size ix => Size (Unsigned ix)

(Size x, Size y) => Size (x, y)

(Size x, Size y, Size z) => Size (x, y, z)

(Size x, Size y, Size z, Size z2) => Size (x, y, z, z2)

all :: forall i. Size i => [i]

A list of all possible indices. Unlike indices in Matrix, this does not need the Matrix argument, because the types determine the contents.

type family Index a

Instances

type Index () = ()

type Index X0 = Int

type Index (X1_ a) = Int

type Index (X0_ a) = Int

type Index (Unsigned ix) = Int

type Index (a, b) = (Index a, Index b)

type Index (a, b, c) = (Index a, Index b, Index c)

type Index (a, b, c, d) = (Index a, Index b, Index c, Index d)

coerceSize :: (Index ix1 ~ Index ix2, Size ix1, Size ix2, Num ix2) => ix1 -> ix2

A good way of converting from one index type to another index type, typically in another base.

type family ADD a b

Instances

type ADD a X0 = a

type ADD X0 a = a

type ADD X0 N1 = N1

type ADD N1 N1 = APP0 N1

type ADD N1 (X1_ b) = APP0 b

type ADD N1 (X0_ b) = APP1 (ADD N1 b)

type ADD (X1_ a) N1 = APP0 a

type ADD (X0_ a) N1 = APP1 (ADD a N1)

type ADD (X1_ a) (X1_ b) = APP0 (SUCC (ADD a b))

type ADD (X1_ a) (X0_ b) = APP1 (ADD a b)

type ADD (X0_ a) (X1_ b) = APP1 (ADD a b)

type ADD (X0_ a) (X0_ b) = APP0 (ADD a b)

type SUB a b = ADD a (SUCC (NOT b))