Searched refs:TCTuple (Results 1 – 10 of 10) sorted by relevance
98 TCon (TC (TCTuple _)) es -> SolvedIf [ pZero e | e <- es ]137 TCon (TC (TCTuple _)) es -> SolvedIf [ pLogic e | e <- es ]162 TCon (TC (TCTuple _)) es -> SolvedIf [ pRing e | e <- es ]264 TCon (TC (TCTuple _)) _ -> Unsolvable306 TCon (TC (TCTuple _)) _ -> Unsolvable344 TCon (TC (TCTuple _)) es -> SolvedIf (map pEq es)384 TCon (TC (TCTuple _)) es -> SolvedIf (map pCmp es)439 TCon (TC (TCTuple _)) es -> SolvedIf (map pSignedCmp es)
86 TCon (TC (TCTuple m)) ts ->
145 TCTuple n -> foldr (:->) KType (replicate n KType)240 | TCTuple Int -- ^ @(_, _, _)@ constructor339 TCTuple 0 -> text "()"340 TCTuple 1 -> text "(one tuple?)"341 TCTuple n -> parens $ hcat $ replicate (n-1) comma
150 TCon (TC (TCTuple _)) ts -> return ts
474 TCon (TC (TCTuple _)) ts -> Just ts654 tTuple ts = TCon (TC (TCTuple (length ts))) ts986 (TCTuple _, fs) -> parens $ fsep $ punctuate comma $ map (go 0) fs
378 P.TTuple ts -> tcon (TC (TCTuple (length ts))) ts k
280 TCon (TC (TCTuple sz)) ts ->
488 TCon (TC (TCTuple n')) tys | n == n' ->
144 (TCTuple _, _) -> Right $ TVTuple (map val ts)
290 TCon (TC (TCTuple tupAr))