| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Syntactic.Frontend.TupleConstrained
Description
Constrained Syntactic instances for Haskell tuples
- class TupleSat dom p | dom -> p
Documentation
class TupleSat dom p | dom -> p Source
Type-level function computing the predicate attached to Tuple or Select
(whichever appears first) in a domain.
Instances
| TupleSat dom2 p => TupleSat ((:+:) dom1 dom2) p Source | |
| TupleSat ((:+:) ((:||) Tuple p) dom2) p Source | |
| TupleSat ((:+:) ((:||) Select p) dom2) p Source | |
| TupleSat dom p => TupleSat ((:||) dom q) p Source | |
| TupleSat ((:||) Tuple p) p Source | |
| TupleSat ((:||) Select p) p Source | |
| TupleSat dom p => TupleSat ((:|) dom q) p Source |