hat-2.9.0.0: The Haskell tracer, generating and viewing Haskell execution traces

Safe HaskellNone
LanguageHaskell98

Hat.Ix

Documentation

class Ord a => Ix a where Source

Minimal complete definition

grange, gindex, ginRange

Methods

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

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

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

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

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

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

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

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

Instances

Ix Bool 
Ix Char 
Ix Int 
Ix Integer 
Ix Tuple0 
Ix Ordering 
Ix SeekMode 
Ix IOMode 
Ix Day 
Ix Month 
Ix GeneralCategory 
(Ix a, Ix b) => Ix (Tuple2 a b) 
(Ix a1, Ix a2, Ix a3) => Ix (Tuple3 a1 a2 a3) 
(Ix a1, Ix a2, Ix a3, Ix a4) => Ix (Tuple4 a1 a2 a3 a4) 
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5) => Ix (Tuple5 a1 a2 a3 a4 a5) 
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6) => Ix (Tuple6 a1 a2 a3 a4 a5 a6) 
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7) => Ix (Tuple7 a1 a2 a3 a4 a5 a6 a7) 
(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) 
(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) 
(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) 
(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) 
(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) 
(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) 
(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) 
(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)