Data.Sized.Arith

Basic type-level arithmetic, using base two.

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

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

Documentation

data N1

data X0

Constructors

X0

Instances

Bounded X0

Enum X0

Eq X0

Integral X0

Num X0

Ord X0

Real X0

Show X0

Ix X0

Size X0

data X0_ a

Constructors

X0_ Integer

Instances

Size a => Bounded (X0_ a)

Size a => Enum (X0_ a)

Eq (X0_ a)

(Size a, Size (X0_ a), Integral a) => Integral (X0_ a)

Size a => Num (X0_ a)

Ord (X0_ a)

Size a => Real (X0_ a)

Show (X0_ a)

Size a => Ix (X0_ a)

Size a => Size (X0_ a)

data X1_ a

Constructors

X1_ Integer

Instances

Size a => Bounded (X1_ a)

Size a => Enum (X1_ a)

Eq (X1_ a)

(Size a, Size (X1_ a), Integral a) => Integral (X1_ a)

Size a => Num (X1_ a)

Ord (X1_ a)

Size a => Real (X1_ a)

Show (X1_ a)

Size a => Ix (X1_ a)

Size a => Size (X1_ a)

type family ADD a b

type family NOT a

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

type family MUL a b

type family SUCC a

type family LOG a

type family APP1 a

type family APP0 a