Portability | unportable (GHC only) |
---|---|

Stability | unstable |

Maintainer | Alexey Khudyakov <alexey.skladnoy@gmail.com> |

Safe Haskell | Safe-Inferred |

# Documentation

Value with type tag

Convert type level into value level using

Reify False Bool | |

Reify True Bool | |

Reify Z Int | |

Reify Z Int8 | |

Reify Z Int16 | |

Reify Z Int32 | |

Reify Z Int64 | |

Reify Z Integer | |

Reify Z Word8 | |

Reify Z Word16 | |

Reify Z Word32 | |

Reify Z Word64 | |

Nat (O n) => Reify (O n) Int64 | |

Nat (O n) => Reify (O n) Int32 | |

(Nat (O n), Lesser (O n) (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (I Z))))))))))))))))) => Reify (O n) Int16 | |

(Nat (O n), Lesser (O n) (O (O (O (O (O (O (O (I Z))))))))) => Reify (O n) Int8 | |

Nat (O n) => Reify (O n) Word64 | |

Nat (O n) => Reify (O n) Word32 | |

(Nat (O n), Lesser (O n) (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (I Z)))))))))))))))))) => Reify (O n) Word16 | |

(Nat (O n), Lesser (O n) (O (O (O (O (O (O (O (O (I Z)))))))))) => Reify (O n) Word8 | |

Nat (O n) => Reify (O n) Int | |

Nat (O n) => Reify (O n) Integer | |

Nat (I n) => Reify (I n) Int64 | |

Nat (I n) => Reify (I n) Int32 | |

(Nat (I n), Lesser (I n) (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (I Z))))))))))))))))) => Reify (I n) Int16 | |

(Nat (I n), Lesser (I n) (O (O (O (O (O (O (O (I Z))))))))) => Reify (I n) Int8 | |

Nat (I n) => Reify (I n) Word64 | |

Nat (I n) => Reify (I n) Word32 | |

(Nat (I n), Lesser (I n) (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (I Z)))))))))))))))))) => Reify (I n) Word16 | |

(Nat (I n), Lesser (I n) (O (O (O (O (O (O (O (O (I Z)))))))))) => Reify (I n) Word8 | |

Nat (I n) => Reify (I n) Int | |

Nat (I n) => Reify (I n) Integer |