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

Eq X0

Ord X0

Show X0

Ix X0

Size X0

data X0_ a

Constructors

X0_ Int

Instances

Size a => Bounded (X0_ a)

Enum (X0_ a)

Eq (X0_ a)

Num (X0_ a)

Ord (X0_ a)

Show (X0_ a)

Ix (X0_ a)

Size a => Size (X0_ a)

data X1_ a

Constructors

X1_ Int

Instances

Size a => Bounded (X1_ a)

Enum (X1_ a)

Eq (X1_ a)

Num (X1_ a)

Ord (X1_ a)

Show (X1_ 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 SUCC a

type family APP1 a

type family APP0 a