| Copyright | (c) Fumiaki Kinoshita 2015 |
|---|---|
| License | BSD3 |
| Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Extensible.Plain
Description
- newtype K0 a = K0 {
- getK0 :: a
- type AllOf xs = K0 :* xs
- type OneOf xs = K0 :| xs
- (<%) :: x -> AllOf xs -> AllOf (x : xs)
- pluck :: x ∈ xs => AllOf xs -> x
- bury :: x ∈ xs => x -> OneOf xs
- (<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x : xs) -> r
- record :: (x ∈ xs, Functor f) => (x -> f x) -> AllOf xs -> f (AllOf xs)
- (<?%) :: (x -> a) -> (Match K0 a :* xs) -> Match K0 a :* (x : xs)