Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family Remove x xs
type family Difference xs ys
Difference xs [] = xs | |
Difference xs (y : ys) = Difference (Remove y xs) ys |
type family Insert y xs
type Reverse xs = Reverse' xs []
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
type family Remove x xs
type family Difference xs ys
Difference xs [] = xs | |
Difference xs (y : ys) = Difference (Remove y xs) ys |
type family Insert y xs
type Reverse xs = Reverse' xs []