Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data BoundingBoxGT Source #
Instances
data BoundingBoxDT Source #
Instances
Show BoundingBoxDT Source # | |
Defined in RiskWeaver.DSL.BDD showsPrec :: Int -> BoundingBoxDT -> ShowS # show :: BoundingBoxDT -> String # showList :: [BoundingBoxDT] -> ShowS # | |
Eq BoundingBoxDT Source # | |
Defined in RiskWeaver.DSL.BDD (==) :: BoundingBoxDT -> BoundingBoxDT -> Bool # (/=) :: BoundingBoxDT -> BoundingBoxDT -> Bool # |
myRisk :: forall a m. (Fractional (Risk a), Num (Risk a), BoundingBox a, Monad m) => ReaderT (Env a) m (Risk a) Source #
myRiskWithError :: forall a m. (Monoid [(Risk a, ErrorType a)], BoundingBox a, Monad m, a ~ BoundingBoxGT) => ReaderT (Env a) m [(Risk a, ErrorType a)] Source #