Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data family Union s a
- type Nil = Union Empty
- data List a
- type family f |> s :: * -> *
- (||>) :: (f x -> r) -> (Union s x -> r) -> Union (f :> s) x -> r
- exhaust :: Nil x -> r
- simply :: (f a -> r) -> (f |> Nil) a -> r
- class f ∈ s | s -> f
- type Member f s = f ∈ s
- liftU :: forall s f a. f ∈ s => f a -> Union s a
- class s ⊆ t where
- type Include s t = s ⊆ t
Documentation
Perform type-safe matching.
class f ∈ s | s -> f infix 4 Source
Constraint f ∈ s
indicates that f
is an element of a type-level list s
.
query