Hat.Array

Documentation

module Hat.Ix

data Array a b

Instances

Ix a => Functor (Array a)

WrapVal (Array a b)

(Ix a, Show a, Show b) => Show (Array a b)

(Ix a, Read a, Read b) => Read (Array a b)

(Ix a, Ord b) => Ord (Array a b)

(Ix a, Eq b) => Eq (Array a b)

garray :: Ix a => RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (Fun (List (Tuple2 a b)) (Array a b)))

aarray :: RefAtom

harray :: Ix a => R (Tuple2 a a) -> R (List (Tuple2 a b)) -> RefExp -> R (Array a b)

glistArray :: Ix a => RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (Fun (List b) (Array a b)))

alistArray :: RefAtom

hlistArray :: Ix a => R (Tuple2 a a) -> R (List b) -> RefExp -> R (Array a b)

(!!) :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun a b))

(+!) :: RefAtom

(*!) :: Ix a => R (Array a b) -> RefExp -> R (Fun a b)

gbounds :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (Tuple2 a a))

abounds :: RefAtom

hbounds :: Ix a => R (Array a b) -> RefExp -> R (Tuple2 a a)

gindices :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (List a))

gelems :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (List b))

aelems :: RefAtom

helems :: Ix a => R (Array a b) -> RefExp -> R (List b)

gassocs :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (List (Tuple2 a b)))

aassocs :: RefAtom

hassocs :: Ix a => R (Array a b) -> RefExp -> R (List (Tuple2 a b))

gaccumArray :: Ix a => RefSrcPos -> RefExp -> R (Fun (Fun b (Fun c b)) (Fun b (Fun (Tuple2 a a) (Fun (List (Tuple2 a c)) (Array a b)))))

aaccumArray :: RefAtom

haccumArray :: Ix a => R (Fun b (Fun c b)) -> R b -> R (Tuple2 a a) -> RefExp -> R (Fun (List (Tuple2 a c)) (Array a b))

(!//) :: Ix a => RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun (List (Tuple2 a b)) (Array a b)))

(+//) :: RefAtom

(*//) :: Ix a => R (Array a b) -> R (List (Tuple2 a b)) -> RefExp -> R (Array a b)

gaccum :: Ix a => RefSrcPos -> RefExp -> R (Fun (Fun b (Fun c b)) (Fun (Array a b) (Fun (List (Tuple2 a c)) (Array a b))))

aaccum :: RefAtom

haccum :: Ix a => R (Fun b (Fun c b)) -> RefExp -> R (Fun (Array a b) (Fun (List (Tuple2 a c)) (Array a b)))

gixmap :: (Ix a, Ix b) => RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (Fun (Fun a b) (Fun (Array b c) (Array a c))))

aixmap :: RefAtom

hixmap :: (Ix a, Ix b) => R (Tuple2 a a) -> R (Fun a b) -> R (Array b c) -> RefExp -> R (Array a c)