| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
RiskWeaver.DSL.BDD
Documentation
data BoundingBoxGT Source #
Constructors
| BoundingBoxGT | |
Instances
data BoundingBoxDT Source #
Constructors
| BoundingBoxDT | |
Instances
| Show BoundingBoxDT Source # | |
Defined in RiskWeaver.DSL.BDD Methods showsPrec :: Int -> BoundingBoxDT -> ShowS # show :: BoundingBoxDT -> String # showList :: [BoundingBoxDT] -> ShowS # | |
| Eq BoundingBoxDT Source # | |
Defined in RiskWeaver.DSL.BDD Methods (==) :: BoundingBoxDT -> BoundingBoxDT -> Bool # (/=) :: BoundingBoxDT -> BoundingBoxDT -> Bool # | |
Constructors
| Background | |
| Pedestrian | |
| Rider | |
| Car | |
| Truck | |
| Bus | |
| Train | |
| Motorcycle | |
| Bicycle |
Constructors
| Boundary | |
| LowScore | |
| MissClass | |
| Occulusion |
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 #