mgeneric-0.0.0.0: Generics with multiple parameters

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Nat

Documentation

data Nat Source

Constructors

NZ 
NS Nat 

type family as :!: n :: * Source

Equations

(a : as) :!: NZ = a 
(a : as) :!: (NS n) = as :!: n