Searched refs:isLiftedRuntimeRep (Results 1 – 5 of 5) sorted by relevance
118 isLiftedRuntimeRep, isUnliftedRuntimeRep,502 Just rep -> isLiftedRuntimeRep rep505 isLiftedRuntimeRep :: Type -> Bool509 isLiftedRuntimeRep rep function510 | Just rep' <- coreView rep = isLiftedRuntimeRep rep'1957 | isLiftedRuntimeRep rr = Just True function2530 = isLiftedRuntimeRep arg
124 isLiftedRuntimeRep, isUnliftedRuntimeRep,554 Just rep -> isLiftedRuntimeRep rep557 isLiftedRuntimeRep :: Type -> Bool561 isLiftedRuntimeRep rep function1956 ty' | isLiftedRuntimeRep ty' -> Just True2539 = isLiftedRuntimeRep arg
124 isLiftedRuntimeRep, isUnliftedRuntimeRep, isBoxedRuntimeRep,638 Just rep -> isLiftedRuntimeRep rep688 isLiftedRuntimeRep :: Type -> Bool692 isLiftedRuntimeRep rep function2220 ty' | isLiftedRuntimeRep ty' -> Just True2851 Just rep -> isLiftedRuntimeRep rep
1933 | isLiftedRuntimeRep ty11936 | isLiftedRuntimeRep ty2