Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family MaybeCase a nothing just :: r
- type family NothingToConstr a c :: Constraint
- type family JustToConstr a c :: Constraint
- type family CatMaybes l :: [k]
- type family FromJust a :: k
Documentation
type family NothingToConstr a c :: Constraint Source
NothingToConstr Nothing c = c | |
NothingToConstr (Just a) c = () |
type family JustToConstr a c :: Constraint Source
JustToConstr Nothing c = () | |
JustToConstr (Just a) c = c |