risk-weaver-0.1.0.1: A DSL for Risk-oriented Object Detection Requirements
Safe HaskellSafe-Inferred
LanguageGHC2021

RiskWeaver.DSL.BDD

Documentation

data BoundingBoxGT Source #

Constructors

BoundingBoxGT 

Fields

Instances

Instances details
Show BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> BoundingBoxGT -> ShowS #

show :: BoundingBoxGT -> String #

showList :: [BoundingBoxGT] -> ShowS #

Eq BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: BoundingBoxGT -> BoundingBoxGT -> Bool #

(/=) :: BoundingBoxGT -> BoundingBoxGT -> Bool #

BoundingBox BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Associated Types

type Detection BoundingBoxGT Source #

type ClassG BoundingBoxGT Source #

type ClassD BoundingBoxGT Source #

data ErrorType BoundingBoxGT Source #

type InterestArea BoundingBoxGT Source #

type InterestObject BoundingBoxGT Source #

data Env BoundingBoxGT Source #

type Idx BoundingBoxGT Source #

type Risk BoundingBoxGT Source #

Methods

riskE :: Env BoundingBoxGT -> Risk BoundingBoxGT Source #

interestArea :: Env BoundingBoxGT -> InterestArea BoundingBoxGT Source #

interestObject :: Env BoundingBoxGT -> InterestObject BoundingBoxGT Source #

groundTruth :: Env BoundingBoxGT -> Vector BoundingBoxGT Source #

detection :: Env BoundingBoxGT -> Vector (Detection BoundingBoxGT) Source #

confidenceScoreThresh :: Env BoundingBoxGT -> Double Source #

ioUThresh :: Env BoundingBoxGT -> Double Source #

scoreD :: Detection BoundingBoxGT -> Double Source #

sizeD :: Detection BoundingBoxGT -> Double Source #

classD :: Detection BoundingBoxGT -> ClassG BoundingBoxGT Source #

idD :: Detection BoundingBoxGT -> Idx BoundingBoxGT Source #

isFrontD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isBackD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isLeftD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isRightD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isTopD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isBottomD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isBackGroundD :: ClassD BoundingBoxGT -> Bool Source #

detectD :: Env BoundingBoxGT -> Detection BoundingBoxGT -> Maybe BoundingBoxGT Source #

errorType :: Env BoundingBoxGT -> Detection BoundingBoxGT -> Maybe (ErrorType BoundingBoxGT) Source #

sizeG :: BoundingBoxGT -> Double Source #

classG :: BoundingBoxGT -> ClassG BoundingBoxGT Source #

angle :: BoundingBoxGT -> Detection BoundingBoxGT -> Double Source #

idG :: BoundingBoxGT -> Idx BoundingBoxGT Source #

ioU :: BoundingBoxGT -> Detection BoundingBoxGT -> Double Source #

ioG :: BoundingBoxGT -> Detection BoundingBoxGT -> Double Source #

ioD :: BoundingBoxGT -> Detection BoundingBoxGT -> Double Source #

detectG :: Env BoundingBoxGT -> BoundingBoxGT -> Maybe (Detection BoundingBoxGT) Source #

isInIeterestAreaD :: InterestArea BoundingBoxGT -> Detection BoundingBoxGT -> Bool Source #

isInIeterestAreaG :: InterestArea BoundingBoxGT -> BoundingBoxGT -> Bool Source #

riskD :: Env BoundingBoxGT -> Detection BoundingBoxGT -> Risk BoundingBoxGT Source #

riskBB :: Env BoundingBoxGT -> Risk BoundingBoxGT Source #

confusionMatrixRecallBB :: Env BoundingBoxGT -> Map (ClassG BoundingBoxGT, ClassD BoundingBoxGT) Double Source #

confusionMatrixAccuracyBB :: Env BoundingBoxGT -> Map (ClassD BoundingBoxGT, ClassG BoundingBoxGT) Double Source #

confusionMatrixRecallBB' :: Env BoundingBoxGT -> Map (ClassG BoundingBoxGT, ClassD BoundingBoxGT) [Idx BoundingBoxGT] Source #

confusionMatrixAccuracyBB' :: Env BoundingBoxGT -> Map (ClassD BoundingBoxGT, ClassG BoundingBoxGT) [Idx BoundingBoxGT] Source #

errorGroupsBB :: Env BoundingBoxGT -> Map (ClassG BoundingBoxGT) (Map (ErrorType BoundingBoxGT) [Idx BoundingBoxGT]) Source #

Show (ErrorType BoundingBoxGT) Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> ErrorType BoundingBoxGT -> ShowS #

show :: ErrorType BoundingBoxGT -> String #

showList :: [ErrorType BoundingBoxGT] -> ShowS #

Eq (ErrorType BoundingBoxGT) Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> Bool #

(/=) :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> Bool #

type ClassD BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type ClassD BoundingBoxGT = Class
type ClassG BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type ClassG BoundingBoxGT = Class
type Detection BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type Detection BoundingBoxGT = BoundingBoxDT
data Env BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

data Env BoundingBoxGT = MyEnv {}
data ErrorType BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

data ErrorType BoundingBoxGT
type Idx BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type Idx BoundingBoxGT = Int
type InterestArea BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type InterestArea BoundingBoxGT = [(Double, Double)]
type InterestObject BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type InterestObject BoundingBoxGT = BoundingBoxGT
type Risk BoundingBoxGT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

type Risk BoundingBoxGT = Double

data BoundingBoxDT Source #

Constructors

BoundingBoxDT 

Fields

Instances

Instances details
Show BoundingBoxDT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> BoundingBoxDT -> ShowS #

show :: BoundingBoxDT -> String #

showList :: [BoundingBoxDT] -> ShowS #

Eq BoundingBoxDT Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: BoundingBoxDT -> BoundingBoxDT -> Bool #

(/=) :: BoundingBoxDT -> BoundingBoxDT -> Bool #

data Class Source #

Constructors

Background 
Pedestrian 
Rider 
Car 
Truck 
Bus 
Train 
Motorcycle 
Bicycle 

Instances

Instances details
Show Class Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> Class -> ShowS #

show :: Class -> String #

showList :: [Class] -> ShowS #

Eq Class Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: Class -> Class -> Bool #

(/=) :: Class -> Class -> Bool #

data FNError Source #

Constructors

Boundary 
LowScore 
MissClass 
Occulusion 

Instances

Instances details
Show FNError Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> FNError -> ShowS #

show :: FNError -> String #

showList :: [FNError] -> ShowS #

Eq FNError Source # 
Instance details

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: FNError -> FNError -> Bool #

(/=) :: FNError -> FNError -> 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 #