Debug.Yarr

Checked meta repr

data CHK r

Instances

UTarget tr tl sh a => UTarget (CHK tr) tl sh a

Methods

write :: UArray (CHK tr) tl sh a -> sh -> a -> IO ()

linearWrite :: UArray (CHK tr) tl sh a -> Int -> a -> IO ()

USource r l sh a => USource (CHK r) l sh a

Methods

index :: UArray (CHK r) l sh a -> sh -> IO a

linearIndex :: UArray (CHK r) l sh a -> Int -> IO a

Regular r l sh a => Regular (CHK r) l sh a

Associated Types

data UArray (CHK r) l sh a :: *

Methods

extent :: UArray (CHK r) l sh a -> sh

touchArray :: UArray (CHK r) l sh a -> IO ()

force :: UArray (CHK r) l sh a -> IO ()

Manifest r mr l sh a => Manifest (CHK r) (CHK mr) l sh a

Methods

new :: sh -> IO (UArray (CHK mr) l sh a)

freeze :: UArray (CHK mr) l sh a -> IO (UArray (CHK r) l sh a)

thaw :: UArray (CHK r) l sh a -> IO (UArray (CHK mr) l sh a)

UVecTarget tr tslr l sh v e => UVecTarget (CHK tr) (CHK tslr) l sh v e

UVecSource r slr l sh v e => UVecSource (CHK r) (CHK slr) l sh v e

VecRegular r slr l sh v e => VecRegular (CHK r) (CHK slr) l sh v e

Methods

slices :: UArray (CHK r) l sh (v e) -> VecList (Dim v) (UArray (CHK slr) l sh e)

NFData (UArray r l sh a) => NFData (UArray (CHK r) l sh a)

Methods

rnf :: UArray (CHK r) l sh a -> ()

data UArray (CHK r)

data UArray (CHK r) = Checked {

• unchecked :: UArray r l sh a

}

There is also Checked UArray family constructor, which isn't presented in the docs because Haddock doesn't support associated family constructors.

See source of Yarr.Debug module.

Fun

yarr :: String -> IO ()

Yarr something to stderr.

yerr :: String -> a

Yarr something as error message.