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

Language | Haskell2010 |

# Documentation

A mere approximation of the natural numbers. And their image as lifted by
`-XDataKinds`

corresponds to the actual natural numbers.

type family RImage rs ss :: [Nat] Source

A partial relation that gives the indices of a sublist in a larger list.

type family RecAll f rs c :: Constraint Source

A constraint-former which applies to every field in a record.