OrdC package:code-conjure

Provides a case condition bound to the given return type. This should be used when one wants Conjure to consider ord-case expressions:

> conjure "mem" mem
>   [ unfun False
>   , unfun True
>   , fun "`compare`" (compare :: Int -> Int -> Ordering)
>   , ordcase (undefined :: Bool)
>   ]
mem :: Int -> Tree -> Bool
-- ...   ...   ...   ...   ...
-- 0.0s, 384 candidates of size 12
-- 0.0s, tested 346 candidates
mem x Leaf  =  False
mem x (Node t1 y t2)  =  case x `compare` y of
LT -> mem x t1
EQ -> True
GT -> mem x t2

Deprecated: primOrdCaseFor is deprecated, please use ordcase instead