RiskWeaver.DSL.BDD

Documentation

data BoundingBoxGT

Constructors

BoundingBoxGT

Fields

• x :: Double
• y :: Double
• w :: Double
• h :: Double
• cls :: Class
• idx :: Int

Instances

Generic BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep BoundingBoxGT :: Type -> Type

Methods

from :: BoundingBoxGT -> Rep BoundingBoxGT x

to :: Rep BoundingBoxGT x -> BoundingBoxGT

Show BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> BoundingBoxGT -> ShowS

show :: BoundingBoxGT -> String

showList :: [BoundingBoxGT] -> ShowS

NFData BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: BoundingBoxGT -> ()

Eq BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Ord BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

compare :: BoundingBoxGT -> BoundingBoxGT -> Ordering

(<) :: BoundingBoxGT -> BoundingBoxGT -> Bool

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

(>) :: BoundingBoxGT -> BoundingBoxGT -> Bool

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

max :: BoundingBoxGT -> BoundingBoxGT -> BoundingBoxGT

min :: BoundingBoxGT -> BoundingBoxGT -> BoundingBoxGT

BoundingBox BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Associated Types

data Detection BoundingBoxGT

type ClassG BoundingBoxGT

type ClassD BoundingBoxGT

data ErrorType BoundingBoxGT

type InterestArea BoundingBoxGT

type InterestObject BoundingBoxGT

data Env BoundingBoxGT

type Idx BoundingBoxGT

type ImgIdx BoundingBoxGT

data Risk BoundingBoxGT

Methods

riskE :: Env BoundingBoxGT -> [Risk BoundingBoxGT]

riskForGroundTruth :: forall (m :: Type -> Type). Monad m => ReaderT (Env BoundingBoxGT) m [Risk BoundingBoxGT]

riskForDetection :: forall (m :: Type -> Type). Monad m => ReaderT (Env BoundingBoxGT) m [Risk BoundingBoxGT]

interestArea :: Env BoundingBoxGT -> InterestArea BoundingBoxGT

interestObject :: Env BoundingBoxGT -> InterestObject BoundingBoxGT

groundTruth :: Env BoundingBoxGT -> Vector BoundingBoxGT

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

confidenceScoreThresh :: Env BoundingBoxGT -> Double

ioUThresh :: Env BoundingBoxGT -> Double

scoreD :: Detection BoundingBoxGT -> Double

sizeD :: Detection BoundingBoxGT -> Double

classD :: Detection BoundingBoxGT -> ClassG BoundingBoxGT

idD :: Detection BoundingBoxGT -> Idx BoundingBoxGT

imageId :: Env BoundingBoxGT -> ImgIdx BoundingBoxGT

isFrontD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isBackD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isLeftD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isRightD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isTopD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isBottomD :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isBackGroundD :: ClassD BoundingBoxGT -> Bool

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

toErrorType :: Risk BoundingBoxGT -> ErrorType BoundingBoxGT

toRiskScore :: Risk BoundingBoxGT -> Double

sizeG :: BoundingBoxGT -> Double

classG :: BoundingBoxGT -> ClassG BoundingBoxGT

angle :: BoundingBoxGT -> Detection BoundingBoxGT -> Double

idG :: BoundingBoxGT -> Idx BoundingBoxGT

ioU :: BoundingBoxGT -> Detection BoundingBoxGT -> Double

ioG :: BoundingBoxGT -> Detection BoundingBoxGT -> Double

ioD :: BoundingBoxGT -> Detection BoundingBoxGT -> Double

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

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

isInIeterestAreaG :: InterestArea BoundingBoxGT -> BoundingBoxGT -> Bool

isInterestObjectD :: InterestObject BoundingBoxGT -> Detection BoundingBoxGT -> Bool

isInterestObjectG :: InterestObject BoundingBoxGT -> BoundingBoxGT -> Bool

Rectangle BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

rX :: BoundingBoxGT -> Double

rY :: BoundingBoxGT -> Double

rW :: BoundingBoxGT -> Double

rH :: BoundingBoxGT -> Double

World BddContext BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

envs :: BddContext -> [Env BoundingBoxGT]

toEnv :: BddContext -> ImgIdx BoundingBoxGT -> Env BoundingBoxGT

toImageIds :: BddContext -> [ImgIdx BoundingBoxGT]

mAP :: BddContext -> Double

ap :: BddContext -> Map (ClassG BoundingBoxGT) Double

mF1 :: BddContext -> Double

f1 :: BddContext -> Map (ClassG BoundingBoxGT) Double

risk :: BddContext -> [Risk BoundingBoxGT]

confusionMatrixRecall :: BddContext -> Map (ClassG BoundingBoxGT, ClassD BoundingBoxGT) [Risk BoundingBoxGT]

confusionMatrixPrecision :: BddContext -> Map (ClassD BoundingBoxGT, ClassG BoundingBoxGT) [Risk BoundingBoxGT]

Generic (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep (Detection BoundingBoxGT) :: Type -> Type

Methods

from :: Detection BoundingBoxGT -> Rep (Detection BoundingBoxGT) x

to :: Rep (Detection BoundingBoxGT) x -> Detection BoundingBoxGT

Generic (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep (Env BoundingBoxGT) :: Type -> Type

Methods

from :: Env BoundingBoxGT -> Rep (Env BoundingBoxGT) x

to :: Rep (Env BoundingBoxGT) x -> Env BoundingBoxGT

Generic (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep (ErrorType BoundingBoxGT) :: Type -> Type

Methods

from :: ErrorType BoundingBoxGT -> Rep (ErrorType BoundingBoxGT) x

to :: Rep (ErrorType BoundingBoxGT) x -> ErrorType BoundingBoxGT

Generic (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep (Risk BoundingBoxGT) :: Type -> Type

Methods

from :: Risk BoundingBoxGT -> Rep (Risk BoundingBoxGT) x

to :: Rep (Risk BoundingBoxGT) x -> Risk BoundingBoxGT

Show (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> Detection BoundingBoxGT -> ShowS

show :: Detection BoundingBoxGT -> String

showList :: [Detection BoundingBoxGT] -> ShowS

Show (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> Env BoundingBoxGT -> ShowS

show :: Env BoundingBoxGT -> String

showList :: [Env BoundingBoxGT] -> ShowS

Show (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> ErrorType BoundingBoxGT -> ShowS

show :: ErrorType BoundingBoxGT -> String

showList :: [ErrorType BoundingBoxGT] -> ShowS

Show (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> Risk BoundingBoxGT -> ShowS

show :: Risk BoundingBoxGT -> String

showList :: [Risk BoundingBoxGT] -> ShowS

NFData (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: Detection BoundingBoxGT -> ()

NFData (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: Env BoundingBoxGT -> ()

NFData (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: ErrorType BoundingBoxGT -> ()

NFData (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: Risk BoundingBoxGT -> ()

Eq (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Eq (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Eq (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Eq (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Ord (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

compare :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Ordering

(<) :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

(<=) :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

(>) :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Bool

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

max :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Detection BoundingBoxGT

min :: Detection BoundingBoxGT -> Detection BoundingBoxGT -> Detection BoundingBoxGT

Ord (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

compare :: Env BoundingBoxGT -> Env BoundingBoxGT -> Ordering

(<) :: Env BoundingBoxGT -> Env BoundingBoxGT -> Bool

(<=) :: Env BoundingBoxGT -> Env BoundingBoxGT -> Bool

(>) :: Env BoundingBoxGT -> Env BoundingBoxGT -> Bool

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

max :: Env BoundingBoxGT -> Env BoundingBoxGT -> Env BoundingBoxGT

min :: Env BoundingBoxGT -> Env BoundingBoxGT -> Env BoundingBoxGT

Ord (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

compare :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> Ordering

(<) :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> Bool

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

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

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

max :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT

min :: ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT -> ErrorType BoundingBoxGT

Ord (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

compare :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Ordering

(<) :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Bool

(<=) :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Bool

(>) :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Bool

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

max :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Risk BoundingBoxGT

min :: Risk BoundingBoxGT -> Risk BoundingBoxGT -> Risk BoundingBoxGT

Rectangle (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

Methods

rX :: Detection BoundingBoxGT -> Double

rY :: Detection BoundingBoxGT -> Double

rW :: Detection BoundingBoxGT -> Double

rH :: Detection BoundingBoxGT -> Double

type Rep BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type Rep BoundingBoxGT = D1 ('MetaData "BoundingBoxGT" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) (C1 ('MetaCons "BoundingBoxGT" 'PrefixI 'True) ((S1 ('MetaSel ('Just "x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "y") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "w") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double))) :*: (S1 ('MetaSel ('Just "h") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "cls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Class) :*: S1 ('MetaSel ('Just "idx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))

type ClassD BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type ClassD BoundingBoxGT = Class

type ClassG BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type ClassG BoundingBoxGT = Class

data Detection BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

data Detection BoundingBoxGT = BoundingBoxDT {

• x :: Double
• y :: Double
• w :: Double
• h :: Double
• cls :: Class
• score :: Double
• idx :: Int

}

data Env BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

data Env BoundingBoxGT = MyEnv {

• envGroundTruth :: Vector BoundingBoxGT
• envDetection :: Vector BoundingBoxDT
• envConfidenceScoreThresh :: Double
• envIoUThresh :: Double
• envUseInterestArea :: Bool
• envImageId :: ImageId

}

data ErrorType BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

data ErrorType BoundingBoxGT

• = FalsePositive (Set SubErrorType)
• | FalseNegative (Set SubErrorType)
• | TruePositive
• | TrueNegative

type Idx BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type Idx BoundingBoxGT = Int

type ImgIdx BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type ImgIdx BoundingBoxGT = ImageId

type InterestArea BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type InterestArea BoundingBoxGT = [(Double, Double)]

type InterestObject BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

type InterestObject BoundingBoxGT = Either BoundingBoxGT BoundingBoxDT -> Bool

data Risk BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

data Risk BoundingBoxGT = BddRisk {

• riskType :: ErrorType BoundingBoxGT
• risk :: Double
• riskGt :: Maybe BoundingBoxGT
• riskDt :: Maybe (Detection BoundingBoxGT)

}

type Rep (Detection BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

type Rep (Detection BoundingBoxGT) = D1 ('MetaData "Detection" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) (C1 ('MetaCons "BoundingBoxDT" 'PrefixI 'True) ((S1 ('MetaSel ('Just "x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "y") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "w") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double))) :*: ((S1 ('MetaSel ('Just "h") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "cls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Class)) :*: (S1 ('MetaSel ('Just "score") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "idx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))

type Rep (Env BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

type Rep (Env BoundingBoxGT) = D1 ('MetaData "Env" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) (C1 ('MetaCons "MyEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "envGroundTruth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector BoundingBoxGT)) :*: (S1 ('MetaSel ('Just "envDetection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector BoundingBoxDT)) :*: S1 ('MetaSel ('Just "envConfidenceScoreThresh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double))) :*: (S1 ('MetaSel ('Just "envIoUThresh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "envUseInterestArea") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "envImageId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ImageId)))))

type Rep (ErrorType BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

type Rep (ErrorType BoundingBoxGT) = D1 ('MetaData "ErrorType" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) ((C1 ('MetaCons "FalsePositive" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set SubErrorType))) :+: C1 ('MetaCons "FalseNegative" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set SubErrorType)))) :+: (C1 ('MetaCons "TruePositive" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TrueNegative" 'PrefixI 'False) (U1 :: Type -> Type)))

type Rep (Risk BoundingBoxGT)

Defined in RiskWeaver.DSL.BDD

type Rep (Risk BoundingBoxGT) = D1 ('MetaData "Risk" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) (C1 ('MetaCons "BddRisk" 'PrefixI 'True) ((S1 ('MetaSel ('Just "riskType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ErrorType BoundingBoxGT)) :*: S1 ('MetaSel ('Just "risk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "riskGt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe BoundingBoxGT)) :*: S1 ('MetaSel ('Just "riskDt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Detection BoundingBoxGT))))))

data Class

Constructors

Background

Pedestrian

Rider

Car

Truck

Bus

Train

Motorcycle

Bicycle

Instances

Generic Class

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep Class :: Type -> Type

Methods

from :: Class -> Rep Class x

to :: Rep Class x -> Class

Show Class

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

NFData Class

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: Class -> ()

Eq Class

Defined in RiskWeaver.DSL.BDD

Methods

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

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

Ord Class

Defined in RiskWeaver.DSL.BDD

Methods

compare :: Class -> Class -> Ordering

(<) :: Class -> Class -> Bool

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

(>) :: Class -> Class -> Bool

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

max :: Class -> Class -> Class

min :: Class -> Class -> Class

type Rep Class

Defined in RiskWeaver.DSL.BDD

type Rep Class = D1 ('MetaData "Class" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) (((C1 ('MetaCons "Background" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pedestrian" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rider" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Car" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Truck" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Train" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Motorcycle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bicycle" 'PrefixI 'False) (U1 :: Type -> Type)))))

data SubErrorType

Constructors

Boundary

LowScore

MissClass

Occulusion

Instances

Generic SubErrorType

Defined in RiskWeaver.DSL.BDD

Associated Types

type Rep SubErrorType :: Type -> Type

Methods

from :: SubErrorType -> Rep SubErrorType x

to :: Rep SubErrorType x -> SubErrorType

Show SubErrorType

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> SubErrorType -> ShowS

show :: SubErrorType -> String

showList :: [SubErrorType] -> ShowS

NFData SubErrorType

Defined in RiskWeaver.DSL.BDD

Methods

rnf :: SubErrorType -> ()

Eq SubErrorType

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: SubErrorType -> SubErrorType -> Bool

(/=) :: SubErrorType -> SubErrorType -> Bool

Ord SubErrorType

Defined in RiskWeaver.DSL.BDD

Methods

compare :: SubErrorType -> SubErrorType -> Ordering

(<) :: SubErrorType -> SubErrorType -> Bool

(<=) :: SubErrorType -> SubErrorType -> Bool

(>) :: SubErrorType -> SubErrorType -> Bool

(>=) :: SubErrorType -> SubErrorType -> Bool

max :: SubErrorType -> SubErrorType -> SubErrorType

min :: SubErrorType -> SubErrorType -> SubErrorType

type Rep SubErrorType

Defined in RiskWeaver.DSL.BDD

type Rep SubErrorType = D1 ('MetaData "SubErrorType" "RiskWeaver.DSL.BDD" "risk-weaver-0.1.0.2-Lj68RG1URWb3Ifr21OvKbb" 'False) ((C1 ('MetaCons "Boundary" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowScore" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MissClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Occulusion" 'PrefixI 'False) (U1 :: Type -> Type)))

type BoundingBoxDT = Detection BoundingBoxGT

type BddRisk = Risk BoundingBoxGT

cocoCategoryToClass :: CocoMap -> CategoryId -> Class

cocoResultToVector :: CocoMap -> ImageId -> (Vector BoundingBoxGT, Vector BoundingBoxDT)

data BddContext

Constructors

BddContext

Fields

• bddContextDataset :: CocoMap
• bddContextIouThresh :: Double
• bddContextScoreThresh :: Double
• bddContextUseInterestArea :: Bool

Instances

Show BddContext

Defined in RiskWeaver.DSL.BDD

Methods

showsPrec :: Int -> BddContext -> ShowS

show :: BddContext -> String

showList :: [BddContext] -> ShowS

Eq BddContext

Defined in RiskWeaver.DSL.BDD

Methods

(==) :: BddContext -> BddContext -> Bool

(/=) :: BddContext -> BddContext -> Bool

World BddContext BoundingBoxGT

Defined in RiskWeaver.DSL.BDD

Methods

envs :: BddContext -> [Env BoundingBoxGT]

toEnv :: BddContext -> ImgIdx BoundingBoxGT -> Env BoundingBoxGT

toImageIds :: BddContext -> [ImgIdx BoundingBoxGT]

mAP :: BddContext -> Double

ap :: BddContext -> Map (ClassG BoundingBoxGT) Double

mF1 :: BddContext -> Double

f1 :: BddContext -> Map (ClassG BoundingBoxGT) Double

risk :: BddContext -> [Risk BoundingBoxGT]

confusionMatrixRecall :: BddContext -> Map (ClassG BoundingBoxGT, ClassD BoundingBoxGT) [Risk BoundingBoxGT]

confusionMatrixPrecision :: BddContext -> Map (ClassD BoundingBoxGT, ClassG BoundingBoxGT) [Risk BoundingBoxGT]