Searched refs:getCohesion (Results 1 – 15 of 15) sorted by relevance
188 case getCohesion thing of201 let c = getCohesion a250 $ applyCohesionToContext (getCohesion m)409 mapCohesion (composeCohesion $ getCohesion a) mod
1226 | getCohesion a1 /= getCohesion b1 -> patternViolation neverUnblock1502 , modCohesion = max (getCohesion info) (getCohesion info')
516 pwords "Cannot pattern match against" ++ [text $ verbalize $ getCohesion t] ++695 verbalize $ getCohesion i]
697 | not $ compareCohesion cmp (getCohesion dom1) (getCohesion dom2) -> errC
1158 let updCoh = composeCohesion (getCohesion info)
581 , "coh =" <+> (text . show) (getCohesion ai)590 if hasLeftAdjoint (UnderComposition (getCohesion ai))591 then unless (getCohesion ai == Continuous)594 else genericError $ "Cannot have record fields with modality " ++ show (getCohesion ai)
320 let (c :| cs) = fmap (getCohesion . getModality) xs639 | getCohesion info == defaultCohesion = return $ setCohesion (getCohesion dom) info function642 let cPi = getCohesion dom -- cohesion of function type643 let cLam = getCohesion info -- cohesion of lambda
295 typeError $ VariableIsOfUnusableCohesion x (getCohesion a)395 unless (getCohesion avail `moreCohesion` getCohesion used) $398 ++ pwords "is used as" ++ [text $ show $ getCohesion used]399 ++ pwords "but only available as" ++ [text $ show $ getCohesion avail]
580 let c = getCohesion info0
1339 let updCoh = composeCohesion (getCohesion info)
550 getCohesion = modCohesion function579 getCohesionMod = getCohesion . getModality1336 getCohesion :: a -> Cohesion1343 default getCohesion :: LensModality a => a -> Cohesion1344 getCohesion = modCohesion . getModality function1350 getCohesion = id function1385 usableCohesion a = getCohesion a `moreCohesion` Continuous1689 getCohesion = getCohesionMod function1883 getCohesion = getCohesionMod function
166 | getCohesion a == defaultCohesion = Just $ setCohesion c a function
95 if render d == "_" then d else pretty (getCohesion a) <+> d151 , pretty (getCohesion mod)
414 where c = prettyShow (getCohesion ai)
1231 if not (getCohesion eqmod `moreCohesion` getCohesion varmod) then return $ UnifyStuck [] else do