Hat.Ix

Documentation

class Ord a => Ix a where

Minimal complete definition

grange, gindex, ginRange

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (List a))

srange :: R (Fun (Tuple2 a a) (List a))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (Fun a Int))

sindex :: R (Fun (Tuple2 a a) (Fun a Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) (Fun a Bool))

sinRange :: R (Fun (Tuple2 a a) (Fun a Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 a a) Int)

srangeSize :: R (Fun (Tuple2 a a) Int)

Instances

Ix Bool

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Bool Bool) (List Bool))

srange :: R (Fun (Tuple2 Bool Bool) (List Bool))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Bool Bool) (Fun Bool Int))

sindex :: R (Fun (Tuple2 Bool Bool) (Fun Bool Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Bool Bool) (Fun Bool Bool))

sinRange :: R (Fun (Tuple2 Bool Bool) (Fun Bool Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Bool Bool) Int)

srangeSize :: R (Fun (Tuple2 Bool Bool) Int)

Ix Char

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Char Char) (List Char))

srange :: R (Fun (Tuple2 Char Char) (List Char))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Char Char) (Fun Char Int))

sindex :: R (Fun (Tuple2 Char Char) (Fun Char Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Char Char) (Fun Char Bool))

sinRange :: R (Fun (Tuple2 Char Char) (Fun Char Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Char Char) Int)

srangeSize :: R (Fun (Tuple2 Char Char) Int)

Ix Int

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Int Int) (List Int))

srange :: R (Fun (Tuple2 Int Int) (List Int))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Int Int) (Fun Int Int))

sindex :: R (Fun (Tuple2 Int Int) (Fun Int Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Int Int) (Fun Int Bool))

sinRange :: R (Fun (Tuple2 Int Int) (Fun Int Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Int Int) Int)

srangeSize :: R (Fun (Tuple2 Int Int) Int)

Ix Integer

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Integer Integer) (List Integer))

srange :: R (Fun (Tuple2 Integer Integer) (List Integer))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Integer Integer) (Fun Integer Int))

sindex :: R (Fun (Tuple2 Integer Integer) (Fun Integer Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Integer Integer) (Fun Integer Bool))

sinRange :: R (Fun (Tuple2 Integer Integer) (Fun Integer Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Integer Integer) Int)

srangeSize :: R (Fun (Tuple2 Integer Integer) Int)

Ix Tuple0

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Tuple0 Tuple0) (List Tuple0))

srange :: R (Fun (Tuple2 Tuple0 Tuple0) (List Tuple0))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Tuple0 Tuple0) (Fun Tuple0 Int))

sindex :: R (Fun (Tuple2 Tuple0 Tuple0) (Fun Tuple0 Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Tuple0 Tuple0) (Fun Tuple0 Bool))

sinRange :: R (Fun (Tuple2 Tuple0 Tuple0) (Fun Tuple0 Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Tuple0 Tuple0) Int)

srangeSize :: R (Fun (Tuple2 Tuple0 Tuple0) Int)

Ix Ordering

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Ordering Ordering) (List Ordering))

srange :: R (Fun (Tuple2 Ordering Ordering) (List Ordering))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Ordering Ordering) (Fun Ordering Int))

sindex :: R (Fun (Tuple2 Ordering Ordering) (Fun Ordering Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Ordering Ordering) (Fun Ordering Bool))

sinRange :: R (Fun (Tuple2 Ordering Ordering) (Fun Ordering Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Ordering Ordering) Int)

srangeSize :: R (Fun (Tuple2 Ordering Ordering) Int)

Ix SeekMode

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 SeekMode SeekMode) (List SeekMode))

srange :: R (Fun (Tuple2 SeekMode SeekMode) (List SeekMode))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 SeekMode SeekMode) (Fun SeekMode Int))

sindex :: R (Fun (Tuple2 SeekMode SeekMode) (Fun SeekMode Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 SeekMode SeekMode) (Fun SeekMode Bool))

sinRange :: R (Fun (Tuple2 SeekMode SeekMode) (Fun SeekMode Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 SeekMode SeekMode) Int)

srangeSize :: R (Fun (Tuple2 SeekMode SeekMode) Int)

Ix IOMode

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 IOMode IOMode) (List IOMode))

srange :: R (Fun (Tuple2 IOMode IOMode) (List IOMode))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 IOMode IOMode) (Fun IOMode Int))

sindex :: R (Fun (Tuple2 IOMode IOMode) (Fun IOMode Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 IOMode IOMode) (Fun IOMode Bool))

sinRange :: R (Fun (Tuple2 IOMode IOMode) (Fun IOMode Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 IOMode IOMode) Int)

srangeSize :: R (Fun (Tuple2 IOMode IOMode) Int)

Ix Day

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Day Day) (List Day))

srange :: R (Fun (Tuple2 Day Day) (List Day))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Day Day) (Fun Day Int))

sindex :: R (Fun (Tuple2 Day Day) (Fun Day Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Day Day) (Fun Day Bool))

sinRange :: R (Fun (Tuple2 Day Day) (Fun Day Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Day Day) Int)

srangeSize :: R (Fun (Tuple2 Day Day) Int)

Ix Month

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Month Month) (List Month))

srange :: R (Fun (Tuple2 Month Month) (List Month))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Month Month) (Fun Month Int))

sindex :: R (Fun (Tuple2 Month Month) (Fun Month Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Month Month) (Fun Month Bool))

sinRange :: R (Fun (Tuple2 Month Month) (Fun Month Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 Month Month) Int)

srangeSize :: R (Fun (Tuple2 Month Month) Int)

Ix GeneralCategory

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 GeneralCategory GeneralCategory) (List GeneralCategory))

srange :: R (Fun (Tuple2 GeneralCategory GeneralCategory) (List GeneralCategory))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 GeneralCategory GeneralCategory) (Fun GeneralCategory Int))

sindex :: R (Fun (Tuple2 GeneralCategory GeneralCategory) (Fun GeneralCategory Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 GeneralCategory GeneralCategory) (Fun GeneralCategory Bool))

sinRange :: R (Fun (Tuple2 GeneralCategory GeneralCategory) (Fun GeneralCategory Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 GeneralCategory GeneralCategory) Int)

srangeSize :: R (Fun (Tuple2 GeneralCategory GeneralCategory) Int)

(Ix a, Ix b) => Ix (Tuple2 a b)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (List (Tuple2 a b)))

srange :: R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (List (Tuple2 a b)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (Fun (Tuple2 a b) Int))

sindex :: R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (Fun (Tuple2 a b) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (Fun (Tuple2 a b) Bool))

sinRange :: R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) (Fun (Tuple2 a b) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple2 a b) (Tuple2 a b)) Int)

(Ix a1, Ix a2, Ix a3) => Ix (Tuple3 a1 a2 a3)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (List (Tuple3 a1 a2 a3)))

srange :: R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (List (Tuple3 a1 a2 a3)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (Fun (Tuple3 a1 a2 a3) Int))

sindex :: R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (Fun (Tuple3 a1 a2 a3) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (Fun (Tuple3 a1 a2 a3) Bool))

sinRange :: R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) (Fun (Tuple3 a1 a2 a3) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple3 a1 a2 a3) (Tuple3 a1 a2 a3)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4) => Ix (Tuple4 a1 a2 a3 a4)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (List (Tuple4 a1 a2 a3 a4)))

srange :: R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (List (Tuple4 a1 a2 a3 a4)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (Fun (Tuple4 a1 a2 a3 a4) Int))

sindex :: R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (Fun (Tuple4 a1 a2 a3 a4) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (Fun (Tuple4 a1 a2 a3 a4) Bool))

sinRange :: R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) (Fun (Tuple4 a1 a2 a3 a4) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple4 a1 a2 a3 a4) (Tuple4 a1 a2 a3 a4)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5) => Ix (Tuple5 a1 a2 a3 a4 a5)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (List (Tuple5 a1 a2 a3 a4 a5)))

srange :: R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (List (Tuple5 a1 a2 a3 a4 a5)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (Fun (Tuple5 a1 a2 a3 a4 a5) Int))

sindex :: R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (Fun (Tuple5 a1 a2 a3 a4 a5) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (Fun (Tuple5 a1 a2 a3 a4 a5) Bool))

sinRange :: R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) (Fun (Tuple5 a1 a2 a3 a4 a5) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple5 a1 a2 a3 a4 a5) (Tuple5 a1 a2 a3 a4 a5)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6) => Ix (Tuple6 a1 a2 a3 a4 a5 a6)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (List (Tuple6 a1 a2 a3 a4 a5 a6)))

srange :: R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (List (Tuple6 a1 a2 a3 a4 a5 a6)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (Fun (Tuple6 a1 a2 a3 a4 a5 a6) Int))

sindex :: R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (Fun (Tuple6 a1 a2 a3 a4 a5 a6) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (Fun (Tuple6 a1 a2 a3 a4 a5 a6) Bool))

sinRange :: R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) (Fun (Tuple6 a1 a2 a3 a4 a5 a6) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple6 a1 a2 a3 a4 a5 a6) (Tuple6 a1 a2 a3 a4 a5 a6)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7) => Ix (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (List (Tuple7 a1 a2 a3 a4 a5 a6 a7)))

srange :: R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (List (Tuple7 a1 a2 a3 a4 a5 a6 a7)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (Fun (Tuple7 a1 a2 a3 a4 a5 a6 a7) Int))

sindex :: R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (Fun (Tuple7 a1 a2 a3 a4 a5 a6 a7) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (Fun (Tuple7 a1 a2 a3 a4 a5 a6 a7) Bool))

sinRange :: R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) (Fun (Tuple7 a1 a2 a3 a4 a5 a6 a7) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple7 a1 a2 a3 a4 a5 a6 a7) (Tuple7 a1 a2 a3 a4 a5 a6 a7)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8) => Ix (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (List (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)))

srange :: R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (List (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (Fun (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) Int))

sindex :: R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (Fun (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (Fun (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) Bool))

sinRange :: R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) (Fun (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9) => Ix (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (List (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)))

srange :: R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (List (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (Fun (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) Int))

sindex :: R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (Fun (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (Fun (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) Bool))

sinRange :: R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) (Fun (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10) => Ix (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (List (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)))

srange :: R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (List (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (Fun (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) Int))

sindex :: R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (Fun (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (Fun (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) Bool))

sinRange :: R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) (Fun (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) (Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10, Ix a11) => Ix (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (List (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)))

srange :: R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (List (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (Fun (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) Int))

sindex :: R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (Fun (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (Fun (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) Bool))

sinRange :: R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) (Fun (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) (Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10, Ix a11, Ix a12) => Ix (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (List (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)))

srange :: R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (List (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (Fun (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) Int))

sindex :: R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (Fun (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (Fun (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) Bool))

sinRange :: R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) (Fun (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12) (Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10, Ix a11, Ix a12, Ix a13) => Ix (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (List (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)))

srange :: R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (List (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (Fun (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) Int))

sindex :: R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (Fun (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (Fun (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) Bool))

sinRange :: R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) (Fun (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13) (Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10, Ix a11, Ix a12, Ix a13, Ix a14) => Ix (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (List (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)))

srange :: R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (List (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (Fun (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) Int))

sindex :: R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (Fun (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (Fun (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) Bool))

sinRange :: R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) (Fun (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14) (Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14)) Int)

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix a10, Ix a11, Ix a12, Ix a13, Ix a14, Ix a15) => Ix (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)

Methods

grange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (List (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)))

srange :: R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (List (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)))

gindex :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (Fun (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) Int))

sindex :: R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (Fun (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) Int))

ginRange :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (Fun (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) Bool))

sinRange :: R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) (Fun (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) Bool))

grangeSize :: RefSrcPos -> RefExp -> R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) Int)

srangeSize :: R (Fun (Tuple2 (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15) (Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15)) Int)