syntactic-1.15.1: Generic abstract syntax, and utilities for embedded languages

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.Frontend.TupleConstrained

Description

Constrained Syntactic instances for Haskell tuples

Synopsis

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