Safe Haskell | Safe |
---|---|

Language | Haskell98 |

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

Size a => Size (X0_ a) Source # | |

type MUL x (X0_ b) Source # | |

type ADD N1 (X0_ b) Source # | |

type APP0 (X0_ a) Source # | |

type APP1 (X0_ a) Source # | |

type LOG (X0_ a) Source # | |

type SUCC (X0_ a) Source # | |

type NOT (X0_ a) Source # | |

type Index (X0_ a) Source # | |

type ADD (X0_ a) N1 Source # | |

type ADD (X1_ a) (X0_ b) Source # | |

type ADD (X0_ a) (X1_ b) Source # | |

type ADD (X0_ a) (X0_ b) Source # | |

Size a => Size (X1_ a) Source # | |

type MUL x (X1_ b) Source # | |

type ADD N1 (X1_ b) Source # | |

type APP0 (X1_ a) Source # | |

type APP1 (X1_ a) Source # | |

type LOG (X1_ a) Source # | |

type SUCC (X1_ a) Source # | |

type NOT (X1_ a) Source # | |

type Index (X1_ a) Source # | |

type ADD (X1_ a) N1 Source # | |

type ADD (X1_ a) (X0_ b) Source # | |

type ADD (X1_ a) (X1_ b) Source # | |

type ADD (X0_ a) (X1_ b) Source # | |

type ADD a X0 Source # | |

type ADD X0 a Source # | |

type ADD X0 N1 Source # | |

type ADD N1 N1 Source # | |

type ADD N1 (X1_ b) Source # | |

type ADD N1 (X0_ b) Source # | |

type ADD (X1_ a) N1 Source # | |

type ADD (X0_ a) N1 Source # | |

type ADD (X1_ a) (X0_ b) Source # | |

type ADD (X1_ a) (X1_ b) Source # | |

type ADD (X0_ a) (X1_ b) Source # | |

type ADD (X0_ a) (X0_ b) Source # | |