Documentation
type family Fn as r Source
Instances
type Fn ([] *) r = r | |
type Fn ((:) * x xs) r = x -> Fn xs r | |
type family Snoc as a :: [*] Source
Instances
type Snoc ([] *) a = (:) * a ([] *) | |
type Snoc ((:) * x xs) a = (:) * x (Snoc xs a) | |
type family Rev l a :: [*] Source
Instances
type Rev ([] *) a = a | |
type Rev ((:) * x xs) a = Rev xs ((:) * x a) | |