Hat.Array

Documentation

module Hat.Ix

data Array a b

Instances

Ix a => Functor (Array a)

Methods

gfmap :: RefSrcPos -> RefExp -> R (Fun (Fun a b) (Fun (Array a a) (Array a b)))

sfmap :: R (Fun (Fun a b) (Fun (Array a a) (Array a b)))

WrapVal (Array a b)

Methods

wrapVal :: RefSrcPos -> Array a b -> RefExp -> R (Array a b)

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

Methods

gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun (Array a b) ShowS))

sshowsPrec :: R (Fun Int (Fun (Array a b) ShowS))

gshow :: RefSrcPos -> RefExp -> R (Fun (Array a b) String)

sshow :: R (Fun (Array a b) String)

gshowList :: RefSrcPos -> RefExp -> R (Fun (List (Array a b)) ShowS)

sshowList :: R (Fun (List (Array a b)) ShowS)

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

Methods

greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS (Array a b)))

sreadsPrec :: R (Fun Int (ReadS (Array a b)))

greadList :: RefSrcPos -> RefExp -> R (ReadS (List (Array a b)))

sreadList :: R (ReadS (List (Array a b)))

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

Methods

gcompare :: RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun (Array a b) Ordering))

scompare :: R (Fun (Array a b) (Fun (Array a b) Ordering))

(!<) :: RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun (Array a b) Bool))

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

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

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

(|<) :: R (Fun (Array a b) (Fun (Array a b) Bool))

(|<=) :: R (Fun (Array a b) (Fun (Array a b) Bool))

(|>=) :: R (Fun (Array a b) (Fun (Array a b) Bool))

(|>) :: R (Fun (Array a b) (Fun (Array a b) Bool))

gmax :: RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun (Array a b) (Array a b)))

gmin :: RefSrcPos -> RefExp -> R (Fun (Array a b) (Fun (Array a b) (Array a b)))

smax :: R (Fun (Array a b) (Fun (Array a b) (Array a b)))

smin :: R (Fun (Array a b) (Fun (Array a b) (Array a b)))

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

Methods

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

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

(|==) :: R (Fun (Array a b) (Fun (Array a b) Bool))

(|/=) :: R (Fun (Array a b) (Fun (Array a b) Bool))

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)