Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
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 |