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) |