A bound-option is either a Bound
, Bounds
or empty.
Documentation
foldBoundOption :: (Bound -> x) -> (Bounds -> x) -> x -> BoundOption -> xSource
A bound-option is either a Bound
, Bounds
or empty.
foldBoundOption :: (Bound -> x) -> (Bounds -> x) -> x -> BoundOption -> xSource