Searched refs:TNewtype (Results 1 – 16 of 16) sorted by relevance
25 TNewtype{} -> []49 TNewtype{} -> Nothing68 TNewtype{} -> Nothing
104 TNewtype{} -> Unsolvable143 TNewtype{} -> Unsolvable183 TNewtype{} -> Unsolvable270 TNewtype{} -> Unsolvable312 TNewtype{} -> Unsolvable353 TNewtype{} -> Unsolvable393 TNewtype{} -> Unsolvable448 TNewtype{} -> Unsolvable
70 TNewtype nt ts ->
140 TNewtype nt ts -> lookupTM ts <=< lookupTM nt . tnewtype149 TNewtype nt ts -> m { tnewtype = alterTM nt (updSub ts f) (tnewtype m) } function162 [ (TNewtype nt ts, v) | (nt,m1) <- toListTM (tnewtype m)181 (\ts a -> f (TNewtype nt ts) a) l) (tnewtype m)
118 | TNewtype !Newtype ![Type]262 TNewtype{} -> KType293 TNewtype ntx xs == TNewtype nty ys = ntx == nty && xs == ys function315 (TNewtype x xs, TNewtype y ys) -> compare (x,xs) (y,ys)359 $ TRec (ntFields nt) `tFun` TNewtype nt (map (TVar . tpVar) as)618 tNewtype nt ts = TNewtype nt ts836 TNewtype _nt ts -> fvs ts951 TNewtype nt ts -> optParens (prec > 3) $ pp (ntName nt) <+> fsep (map (go 5) ts)
122 TNewtype nt ts -> TNewtype nt (map (plainSubst s) ts)
77 mgu (TNewtype ntx xs) (TNewtype nty ys)
71 TNewtype nt ts ->376 TNewtype nt1 ts1 ->378 TNewtype nt2 ts2
244 TNewtype nt ts -> TNewtype nt `fmap` anyJust (apSubstMaybe su) ts
22 TNewtype nt xs -> TNewtype nt (map go xs)
115 return (tp, TNewtype nt [])
270 checkKind (TNewtype nt ts2) k k1
292 TNewtype nt ts293 | needsInst ps (ntName nt) -> TNewtype (inst ps nt) (instTyParams ps ++ ts1)294 | otherwise -> TNewtype nt ts1
247 TNewtype nt ts -> TNewtype (inst env nt) (inst env ts)
143 TNewtype nt ts -> freeVars nt <> freeVars ts
129 TNewtype nt ts -> Right $ TVNewtype nt tvs $ evalNewtypeBody env nt tvs