Safe Haskell | None |
---|

This module was automatically generated by Nat1Generator.hs

# Documentation

DepIndex (HList xs) (Nat1Box n) => DepIndex (HList (: * x xs)) (Nat1Box (Succ n)) | |

DepIndex (HList (: * x xs)) (Nat1Box Zero) | |

DepIndex (HList ([] *)) (Nat1Box Zero) | |

HTake1 (Nat1Box n) (HList xs1) (HList xs2) => HTake1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList (: * x xs2)) | |

HTake1 (Nat1Box Zero) (HList xs1) (HList ([] *)) | |

HDrop1 (Nat1Box n) (HList xs1) (HList xs2) => HDrop1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList xs2) | |

HDrop1 (Nat1Box Zero) (HList xs1) (HList xs1) |