OpenCV.TypeLevel

Kinds and types

data DS a

dsToMaybe

data Z

data a ::: b

Type level to value level conversions

class ToInt32 a

class ToNatDS a

class ToNatListDS a

Type functions

type family Length (xs :: [a]) :: Nat where ...

type family Elem (e :: a) (xs :: [a]) :: Bool where ...

type family Relax (a :: DS ka) (b :: DS kb) :: Bool where ...

Predicates (constraints)

type In e xs

type MayRelax a b

class All p xs

class IsStatic ds

Type conversions

type family DSNat (a :: ka) :: DS Nat where ...

type family DSNats (a :: ka) :: [DS Nat] where ...