mgeneric-0.0.0.2: Generics with multiple parameters

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Nat

Documentation

data Nat Source

Constructors

NZ 
NS Nat 

type family as :!: n :: k Source

Equations

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

type family as :!!: n :: [k] Source

Equations

[] :!!: n = [] 
(a : as) :!!: n = (a :!: n) : (as :!!: n)