sized-types-0.3.4.0: Sized types in Haskell.

Data.Sized.Arith

Description

Basic type-level arithmetic, using base two.

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

Maintainer: Andy Gill andygill@ku.edu Stability: unstable Portability: ghc

Documentation

data N1 Source

data X0 Source

Constructors

X0 

Instances

data X0_ a Source

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 Source

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 Source

type family NOT a Source

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

type family MUL a b Source

type family SUCC a Source

type family LOG a Source

type family APP1 a Source

type family APP0 a Source