liftMaybe package:sbv

liftMaybe :: SymVal a => Maybe (SBV a) -> SMaybe a

Construct an SMaybe a from a Maybe (SBV a).

>>> liftMaybe (Just (3 :: SInteger))
Just 3 :: SMaybe Integer

>>> liftMaybe (Nothing :: Maybe SInteger)
Nothing :: SMaybe Integer