Searched refs:sizeSort (Results 1 – 9 of 9) sorted by relevance
132 sizeSort :: Sort133 sizeSort = mkType 0 function137 sizeUniv = sort $ sizeSort141 sizeType_ size = El sizeSort $ Def size []145 sizeType = El sizeSort . fromMaybe __IMPOSSIBLE__ <$> getBuiltin' builtinSize
63 function sizeSort($p1, $p2)
134 case sizeSort:
10 sizeSort const
173 case sizeSort:
398 gOpts.sortType.method = sizeSort
427 ; sizeSort <- goptM Opt_SortBySizeHoleFits434 else if sizeSort
489 function sizeSort($x, $y) function
524 function sizeSort($x, $y) function