Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data M (shape :: [DS Nat]) (channels :: Nat)
- type family DIM (n :: Nat) :: * where ...
- toRepa :: forall (shape :: [DS Nat]) (channels :: Nat) (depth :: *) (dims :: Nat) (sh :: *). (Storable depth, KnownNat channels, KnownNat dims, dims ~ Length shape, sh ~ DIM (dims + 1)) => Mat (S shape) (S channels) (S depth) -> Array (M shape channels) sh depth
Documentation
:: forall (shape :: [DS Nat]) (channels :: Nat) (depth :: *) (dims :: Nat) (sh :: *). (Storable depth, KnownNat channels, KnownNat dims, dims ~ Length shape, sh ~ DIM (dims + 1)) | |
=> Mat (S shape) (S channels) (S depth) | |
-> Array (M shape channels) sh depth |
Converts an OpenCV
into a Repa array.Mat
rix
This is a zero-copy operation.