module Hat.Ix
(Ix(grange, gindex, ginRange, grangeSize, srange,
sindex, sinRange, srangeSize))
where
import qualified Prelude
import qualified Hat.Hat as T
import qualified Hat.PreludeBasic
import qualified Hat.PreludeBuiltinTypes
import Hat.Prelude
class (Ord a) => Ix a where
grange ::
T.RefSrcPos ->
T.RefExp -> T.R (T.Fun (T.Tuple2 a a) (T.List a))
srange :: T.R (T.Fun (T.Tuple2 a a) (T.List a))
srange = Hat.PreludeBasic.gundefined T.mkNoSrcPos p
gindex ::
T.RefSrcPos ->
T.RefExp -> T.R (T.Fun (T.Tuple2 a a) (T.Fun a Int))
sindex :: T.R (T.Fun (T.Tuple2 a a) (T.Fun a Int))
sindex = Hat.PreludeBasic.gundefined T.mkNoSrcPos p
ginRange ::
T.RefSrcPos ->
T.RefExp -> T.R (T.Fun (T.Tuple2 a a) (T.Fun a Bool))
sinRange :: T.R (T.Fun (T.Tuple2 a a) (T.Fun a Bool))
sinRange = Hat.PreludeBasic.gundefined T.mkNoSrcPos p
grangeSize ::
T.RefSrcPos ->
T.RefExp -> T.R (T.Fun (T.Tuple2 a a) Int)
srangeSize :: T.R (T.Fun (T.Tuple2 a a) Int)
srangeSize
= Hat.PreludeBasic.gundefined T.mkNoSrcPos p
grangeSize prangeSize p
= T.ufun1 c9v5v10v54rangeSize prangeSize p hrangeSize
where hrangeSize fb@(T.R (T.Tuple2 fl fh) _) p
= T.ucguard
(T.uwrapForward p
(hnull
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p) fb)
p))
(T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.gfromInteger T.mkNoSrcPos p)
(T.conInteger T.mkNoSrcPos p (0)))
(T.ucguard (gotherwise T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p) fb
fh)
(T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.gfromInteger T.mkNoSrcPos p)
(T.conInteger T.mkNoSrcPos p (1))))
(T.fatal p))
instance Ix Char where
grange prange p
= T.ufun1 c18v5v18v24range prange p hrange
where hrange (T.R (T.Tuple2 fm fn) _) p
= T.uap2 T.mkNoSrcPos p
(Hat.PreludeBasic.genumFromTo T.mkNoSrcPos p)
fm
fn
gindex pindex p
= T.ufun2 c19v5v21v64index pindex p hindex
where hindex fb@(T.R (T.Tuple2 fc fc') _) fci p
= T.ucguard
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p) fb
fci)
(T.uap2 T.mkNoSrcPos p ((!-) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fci)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fc))
(T.ucguard (gotherwise T.mkNoSrcPos p)
(T.uwrapForward p
(herror
(T.fromLitString T.mkNoSrcPos p
"Ix.index: Index out of range.")
p))
(T.fatal p))
ginRange pinRange p
= T.ufun2 c22v5v22v44inRange pinRange p hinRange
where hinRange (T.R (T.Tuple2 fc fc') _) fi p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fc fi)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fi fc')
p)
instance Ix Int where
grange prange p
= T.ufun1 c25v5v25v24range prange p hrange
where hrange (T.R (T.Tuple2 fm fn) _) p
= T.uap2 T.mkNoSrcPos p
(Hat.PreludeBasic.genumFromTo T.mkNoSrcPos p)
fm
fn
gindex pindex p
= T.ufun2 c26v5v28v64index pindex p hindex
where hindex fb@(T.R (T.Tuple2 fm fn) _) fi p
= T.ucguard
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p) fb
fi)
(T.uap2 T.mkNoSrcPos p ((!-) T.mkNoSrcPos p) fi fm)
(T.ucguard (gotherwise T.mkNoSrcPos p)
(T.uwrapForward p
(herror
(T.fromLitString T.mkNoSrcPos p
"Ix.index: Index out of range.")
p))
(T.fatal p))
ginRange pinRange p
= T.ufun2 c29v5v29v43inRange pinRange p hinRange
where hinRange (T.R (T.Tuple2 fm fn) _) fi p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fm fi)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fi fn)
p)
instance Ix Integer where
grange prange p
= T.ufun1 c32v5v32v24range prange p hrange
where hrange (T.R (T.Tuple2 fm fn) _) p
= T.uap2 T.mkNoSrcPos p
(Hat.PreludeBasic.genumFromTo T.mkNoSrcPos p)
fm
fn
gindex pindex p
= T.ufun2 c33v5v35v64index pindex p hindex
where hindex fb@(T.R (T.Tuple2 fm fn) _) fi p
= T.ucguard
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p) fb
fi)
(T.uap1 T.mkNoSrcPos p (gfromInteger T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p ((!-) T.mkNoSrcPos p) fi fm))
(T.ucguard (gotherwise T.mkNoSrcPos p)
(T.uwrapForward p
(herror
(T.fromLitString T.mkNoSrcPos p
"Ix.index: Index out of range.")
p))
(T.fatal p))
ginRange pinRange p
= T.ufun2 c36v5v36v43inRange pinRange p hinRange
where hinRange (T.R (T.Tuple2 fm fn) _) fi p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fm fi)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fi fn)
p)
instance Ix Bool where
grange prange p
= T.ufun1 c39v3v39v27range prange p hrange
where hrange (T.R (T.Tuple2 fc fc') _) p
= T.uap2 T.mkNoSrcPos p
(Hat.PreludeBasic.genumFromTo T.mkNoSrcPos p)
fc
fc'
gindex pindex p
= T.ufun2 c41v3v43v67index pindex p hindex
where hindex fb@(T.R (T.Tuple2 fc fc') _) fci p
= T.ucguard
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p) fb
fci)
(T.uap2 T.mkNoSrcPos p ((!-) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fci)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fc))
(T.ucguard (T.con0 T.mkNoSrcPos p True aTrue)
(T.uwrapForward p
(herror
(T.fromLitString T.mkNoSrcPos p
"Ix.Bool.index: Index out of range.")
p))
(T.fatal p))
ginRange pinRange p
= T.ufun2 c44v3v44v44inRange pinRange p hinRange
where hinRange (T.R (T.Tuple2 fc fc') _) fci p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fc fci)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fci
fc')
p)
instance Ix Ordering where
grange prange p
= T.ufun1 c48v3v48v27range prange p hrange
where hrange (T.R (T.Tuple2 fc fc') _) p
= T.uap2 T.mkNoSrcPos p
(Hat.PreludeBasic.genumFromTo T.mkNoSrcPos p)
fc
fc'
gindex pindex p
= T.ufun2 c50v3v52v71index pindex p hindex
where hindex fb@(T.R (T.Tuple2 fc fc') _) fci p
= T.ucguard
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p) fb
fci)
(T.uap2 T.mkNoSrcPos p ((!-) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fci)
(T.uap1 T.mkNoSrcPos p (gfromEnum T.mkNoSrcPos p)
fc))
(T.ucguard (T.con0 T.mkNoSrcPos p True aTrue)
(T.uwrapForward p
(herror
(T.fromLitString T.mkNoSrcPos p
"Ix.Ordering.index: Index out of range.")
p))
(T.fatal p))
ginRange pinRange p
= T.ufun2 c53v3v53v44inRange pinRange p hinRange
where hinRange (T.R (T.Tuple2 fc fc') _) fci p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fc fci)
(T.uap2 T.mkNoSrcPos p ((!<=) T.mkNoSrcPos p) fci
fc')
p)
instance Ix T.Tuple0 where
grange prange p
= T.ufun1 c57v3v57v22range prange p hrange
where hrange
(T.R (T.Tuple2 (T.R T.Tuple0 _) (T.R T.Tuple0 _)) _)
p
= T.fromExpList T.mkNoSrcPos p
[T.con0 T.mkNoSrcPos p T.Tuple0 T.aTuple0]
hrange _ p = T.fatal p
gindex pindex p
= T.ufun2 c58v3v58v22index pindex p hindex
where hindex
(T.R (T.Tuple2 (T.R T.Tuple0 _) (T.R T.Tuple0 _)) _)
(T.R T.Tuple0 _) p
= T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.gfromInteger T.mkNoSrcPos p)
(T.conInteger T.mkNoSrcPos p (0))
hindex _ _ p = T.fatal p
ginRange pinRange p
= T.ufun2 c59v3v59v27inRange pinRange p hinRange
where hinRange
(T.R (T.Tuple2 (T.R T.Tuple0 _) (T.R T.Tuple0 _)) _)
(T.R T.Tuple0 _) p = T.con0 T.mkNoSrcPos p True aTrue
hinRange _ _ p = T.fatal p
instance (Ix a, Ix b) => Ix (T.Tuple2 a b) where
grange prange p
= T.ufun1 c62v10v63v67range prange p hrange
where hrange
(T.R
(T.Tuple2 (T.R (T.Tuple2 fl fl') _)
(T.R (T.Tuple2 fu fu') _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl fu))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl'
fu'))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi' p ->
T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.greturn T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fi
fi')))))
gindex pindex p
= T.ufun2 c64v10v65v72index pindex p hindex
where hindex
(T.R
(T.Tuple2 (T.R (T.Tuple2 fl fl') _)
(T.R (T.Tuple2 fu fu') _))
_)
(T.R (T.Tuple2 fi fi') _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl fu)
fi)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl' fu')))
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl' fu')
fi')
ginRange pinRange p
= T.ufun2 c66v10v67v56inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2 (T.R (T.Tuple2 fl fl') _)
(T.R (T.Tuple2 fu fu') _))
_)
(T.R (T.Tuple2 fi fi') _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl fu)
fi)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl' fu')
fi')
p)
instance (Ix a1, Ix a2, Ix a3) => Ix
(T.Tuple3 a1 a2 a3) where
grange prange p
= T.ufun1 c70v5v73v44range prange p hrange
where hrange
(T.R
(T.Tuple2 (T.R (T.Tuple3 fl1 fl2 fl3) _)
(T.R (T.Tuple3 fu1 fu2 fu3) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con3 T.mkNoSrcPos p T.Tuple3
T.aTuple3
fi1
fi2
fi3)))))))
gindex pindex p
= T.ufun2 c75v5v78v29index pindex p hindex
where hindex
(T.R
(T.Tuple2 (T.R (T.Tuple3 fl1 fl2 fl3) _)
(T.R (T.Tuple3 fu1 fu2 fu3) _))
_)
(T.R (T.Tuple3 fi1 fi2 fi3) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl3 fu3)
fi3)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl3 fu3))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1
fu1)
fi1))))
ginRange pinRange p
= T.ufun2 c80v5v83v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2 (T.R (T.Tuple3 fl1 fl2 fl3) _)
(T.R (T.Tuple3 fu1 fu2 fu3) _))
_)
(T.R (T.Tuple3 fi1 fi2 fi3) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl3
fu3)
fi3)
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4) => Ix
(T.Tuple4 a1 a2 a3 a4) where
grange prange p
= T.ufun1 c86v5v90v47range prange p hrange
where hrange
(T.R
(T.Tuple2 (T.R (T.Tuple4 fl1 fl2 fl3 fl4) _)
(T.R (T.Tuple4 fu1 fu2 fu3 fu4) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap1 T.mkNoSrcPos p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con4 T.mkNoSrcPos p
T.Tuple4
T.aTuple4
fi1
fi2
fi3
fi4)))))))))
gindex pindex p
= T.ufun2 c92v5v96v32index pindex p hindex
where hindex
(T.R
(T.Tuple2 (T.R (T.Tuple4 fl1 fl2 fl3 fl4) _)
(T.R (T.Tuple4 fu1 fu2 fu3 fu4) _))
_)
(T.R (T.Tuple4 fi1 fi2 fi3 fi4) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl4 fu4)
fi4)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl4 fu4))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl3
fu3))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))
ginRange pinRange p
= T.ufun2 c98v5v102v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2 (T.R (T.Tuple4 fl1 fl2 fl3 fl4) _)
(T.R (T.Tuple4 fu1 fu2 fu3 fu4) _))
_)
(T.R (T.Tuple4 fi1 fi2 fi3 fi4) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5) => Ix
(T.Tuple5 a1 a2 a3 a4 a5) where
grange prange p
= T.ufun1 c106v5v111v50range prange p hrange
where hrange
(T.R
(T.Tuple2 (T.R (T.Tuple5 fl1 fl2 fl3 fl4 fl5) _)
(T.R (T.Tuple5 fu1 fu2 fu3 fu4 fu5) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap1 T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con5
T.mkNoSrcPos
p
T.Tuple5
T.aTuple5
fi1
fi2
fi3
fi4
fi5)))))))))))
gindex pindex p
= T.ufun2 c113v5v118v32index pindex p hindex
where hindex
(T.R
(T.Tuple2 (T.R (T.Tuple5 fl1 fl2 fl3 fl4 fl5) _)
(T.R (T.Tuple5 fu1 fu2 fu3 fu4 fu5) _))
_)
(T.R (T.Tuple5 fi1 fi2 fi3 fi4 fi5) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl5 fu5)
fi5)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl5 fu5))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl4
fu4))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))
ginRange pinRange p
= T.ufun2 c120v5v125v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2 (T.R (T.Tuple5 fl1 fl2 fl3 fl4 fl5) _)
(T.R (T.Tuple5 fu1 fu2 fu3 fu4 fu5) _))
_)
(T.R (T.Tuple5 fi1 fi2 fi3 fi4 fi5) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5,
Ix a6) =>
Ix (T.Tuple6 a1 a2 a3 a4 a5 a6) where
grange prange p
= T.ufun1 c129v5v135v53range prange p hrange
where hrange
(T.R
(T.Tuple2 (T.R (T.Tuple6 fl1 fl2 fl3 fl4 fl5 fl6) _)
(T.R (T.Tuple6 fu1 fu2 fu3 fu4 fu5 fu6) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con6
T.mkNoSrcPos
p
T.Tuple6
T.aTuple6
fi1
fi2
fi3
fi4
fi5
fi6)))))))))))))
gindex pindex p
= T.ufun2 c137v5v143v34index pindex p hindex
where hindex
(T.R
(T.Tuple2 (T.R (T.Tuple6 fl1 fl2 fl3 fl4 fl5 fl6) _)
(T.R (T.Tuple6 fu1 fu2 fu3 fu4 fu5 fu6) _))
_)
(T.R (T.Tuple6 fi1 fi2 fi3 fi4 fi5 fi6) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl6 fu6)
fi6)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl6 fu6))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl5
fu5))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))
ginRange pinRange p
= T.ufun2 c145v5v151v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2 (T.R (T.Tuple6 fl1 fl2 fl3 fl4 fl5 fl6) _)
(T.R (T.Tuple6 fu1 fu2 fu3 fu4 fu5 fu6) _))
_)
(T.R (T.Tuple6 fi1 fi2 fi3 fi4 fi5 fi6) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
p))
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6,
Ix a7) =>
Ix (T.Tuple7 a1 a2 a3 a4 a5 a6 a7) where
grange prange p
= T.ufun1 c155v5v162v56range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R (T.Tuple7 fl1 fl2 fl3 fl4 fl5 fl6 fl7) _)
(T.R (T.Tuple7 fu1 fu2 fu3 fu4 fu5 fu6 fu7) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con7
T.mkNoSrcPos
p
T.Tuple7
T.aTuple7
fi1
fi2
fi3
fi4
fi5
fi6
fi7)))))))))))))))
gindex pindex p
= T.ufun2 c164v5v171v35index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R (T.Tuple7 fl1 fl2 fl3 fl4 fl5 fl6 fl7) _)
(T.R (T.Tuple7 fu1 fu2 fu3 fu4 fu5 fu6 fu7) _))
_)
(T.R (T.Tuple7 fi1 fi2 fi3 fi4 fi5 fi6 fi7) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl7 fu7)
fi7)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl7 fu7))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl6
fu6))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))
ginRange pinRange p
= T.ufun2 c173v5v180v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R (T.Tuple7 fl1 fl2 fl3 fl4 fl5 fl6 fl7) _)
(T.R (T.Tuple7 fu1 fu2 fu3 fu4 fu5 fu6 fu7) _))
_)
(T.R (T.Tuple7 fi1 fi2 fi3 fi4 fi5 fi6 fi7) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
p))
p))
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6,
Ix a7, Ix a8) =>
Ix (T.Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) where
grange prange p
= T.ufun1 c184v5v192v56range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R (T.Tuple8 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8) _)
(T.R (T.Tuple8 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8) _))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con8
T.mkNoSrcPos
p
T.Tuple8
T.aTuple8
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8)))))))))))))))))
gindex pindex p
= T.ufun2 c194v5v203v37index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R (T.Tuple8 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8) _)
(T.R (T.Tuple8 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8) _))
_)
(T.R (T.Tuple8 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8) _) p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl8 fu8)
fi8)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl8 fu8))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl7
fu7))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))
ginRange pinRange p
= T.ufun2 c205v5v214v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R (T.Tuple8 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8) _)
(T.R (T.Tuple8 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8) _))
_)
(T.R (T.Tuple8 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8) _) p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
p))
p))
p))
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6,
Ix a7, Ix a8, Ix a9) =>
Ix (T.Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) where
grange prange p
= T.ufun1 c218v5v228v47range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R (T.Tuple9 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9)
_)
(T.R (T.Tuple9 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con9
T.mkNoSrcPos
p
T.Tuple9
T.aTuple9
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9)))))))))))))))))))
gindex pindex p
= T.ufun2 c230v5v240v44index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R (T.Tuple9 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9)
_)
(T.R (T.Tuple9 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9)
_))
_)
(T.R (T.Tuple9 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl9 fu9)
fi9)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl9 fu9))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl8
fu8))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))
ginRange pinRange p
= T.ufun2 c242v5v252v32inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R (T.Tuple9 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9)
_)
(T.R (T.Tuple9 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9)
_))
_)
(T.R (T.Tuple9 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
p))
p))
p))
p))
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6,
Ix a7, Ix a8, Ix a9, Ix a10) =>
Ix (T.Tuple10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) where
grange prange p
= T.ufun1 c257v5v269v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple10 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10)
_)
(T.R
(T.Tuple10 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con10
T.mkNoSrcPos
p
T.Tuple10
T.aTuple10
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10)))))))))))))))))))))
gindex pindex p
= T.ufun2 c271v5v283v45index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple10 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10)
_)
(T.R
(T.Tuple10 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10)
_))
_)
(T.R
(T.Tuple10 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl10 fu10)
fi10)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl10
fu10))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl9
fu9))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))
ginRange pinRange p
= T.ufun2 c285v5v297v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple10 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10)
_)
(T.R
(T.Tuple10 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10)
_))
_)
(T.R
(T.Tuple10 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
p))
p))
p))
p))
p))
p))
p))
p))
p)
instance (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6,
Ix a7, Ix a8, Ix a9, Ix a10, Ix a11) =>
Ix (T.Tuple11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11)
where
grange prange p
= T.ufun1 c302v5v315v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple11 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11)
_)
(T.R
(T.Tuple11 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi11
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con11
T.mkNoSrcPos
p
T.Tuple11
T.aTuple11
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10
fi11)))))))))))))))))))))))
gindex pindex p
= T.ufun2 c317v5v330v46index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple11 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11)
_)
(T.R
(T.Tuple11 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11)
_))
_)
(T.R
(T.Tuple11 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl11 fu11)
fi11)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl11
fu11))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl10
fu10)
fi10)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl10
fu10))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl9
fu9))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))))
ginRange pinRange p
= T.ufun2 c332v5v345v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple11 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11)
_)
(T.R
(T.Tuple11 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11)
_))
_)
(T.R
(T.Tuple11 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
p))
p))
p))
p))
p))
p))
p))
p))
p))
p)
instance (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 (T.Tuple12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)
where
grange prange p
= T.ufun1 c350v5v364v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple12 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12)
_)
(T.R
(T.Tuple12 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi11
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi12
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con12
T.mkNoSrcPos
p
T.Tuple12
T.aTuple12
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10
fi11
fi12)))))))))))))))))))))))))
gindex pindex p
= T.ufun2 c366v5v380v47index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple12 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12)
_)
(T.R
(T.Tuple12 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12)
_))
_)
(T.R
(T.Tuple12 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl12 fu12)
fi12)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl12
fu12))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl11
fu11)
fi11)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl11
fu11))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl10
fu10)
fi10)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl10
fu10))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl9
fu9))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))))))
ginRange pinRange p
= T.ufun2 c382v5v396v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple12 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12)
_)
(T.R
(T.Tuple12 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12)
_))
_)
(T.R
(T.Tuple12 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12)
fi12)
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p)
instance (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
(T.Tuple13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12
a13)
where
grange prange p
= T.ufun1 c401v5v416v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple13 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13)
_)
(T.R
(T.Tuple13 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi11
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi12
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi13
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con13
T.mkNoSrcPos
p
T.Tuple13
T.aTuple13
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10
fi11
fi12
fi13)))))))))))))))))))))))))))
gindex pindex p
= T.ufun2 c418v5v433v48index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple13 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13)
_)
(T.R
(T.Tuple13 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13)
_))
_)
(T.R
(T.Tuple13 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl13 fu13)
fi13)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl13
fu13))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl12
fu12)
fi12)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl12
fu12))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl11
fu11)
fi11)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl11
fu11))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl10
fu10))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))))))))
ginRange pinRange p
= T.ufun2 c435v5v450v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple13 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13)
_)
(T.R
(T.Tuple13 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13)
_))
_)
(T.R
(T.Tuple13 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12)
fi12)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13)
fi13)
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p)
instance (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
(T.Tuple14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13
a14)
where
grange prange p
= T.ufun1 c455v5v471v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple14 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14)
_)
(T.R
(T.Tuple14 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi11
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi12
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi13
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl14
fu14))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi14
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con14
T.mkNoSrcPos
p
T.Tuple14
T.aTuple14
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10
fi11
fi12
fi13
fi14)))))))))))))))))))))))))))))
gindex pindex p
= T.ufun2 c473v5v489v49index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple14 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14)
_)
(T.R
(T.Tuple14 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14)
_))
_)
(T.R
(T.Tuple14 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13 fi14)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl14 fu14)
fi14)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl14
fu14))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl13
fu13)
fi13)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl13
fu13))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl12
fu12)
fi12)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl12
fu12))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl11
fu11))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))))))))))
ginRange pinRange p
= T.ufun2 c491v5v507v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple14 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14)
_)
(T.R
(T.Tuple14 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14)
_))
_)
(T.R
(T.Tuple14 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13 fi14)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12)
fi12)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13)
fi13)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl14
fu14)
fi14)
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p)
instance (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
(T.Tuple15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13
a14
a15)
where
grange prange p
= T.ufun1 c512v5v529v50range prange p hrange
where hrange
(T.R
(T.Tuple2
(T.R
(T.Tuple15 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14 fl15)
_)
(T.R
(T.Tuple15 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14 fu15)
_))
_)
p
= T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi1 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi2 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos p
(\ fi3 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4))
(T.ufun1 T.mkDoLambda T.mkNoSrcPos
p
(\ fi4 p ->
T.uap2 T.mkNoSrcPos p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1 T.mkNoSrcPos p
(grange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.ufun1 T.mkDoLambda
T.mkNoSrcPos
p
(\ fi5 p ->
T.uap2 T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi6 p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi7
p ->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi8
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi9
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi10
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi11
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi12
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi13
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl14
fu14))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi14
p
->
T.uap2
T.mkNoSrcPos
p
((Hat.PreludeBasic.!>>=)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl15
fu15))
(T.ufun1
T.mkDoLambda
T.mkNoSrcPos
p
(\ fi15
p
->
T.uap1
T.mkNoSrcPos
p
(Hat.PreludeBasic.greturn
T.mkNoSrcPos
p)
(T.con15
T.mkNoSrcPos
p
T.Tuple15
T.aTuple15
fi1
fi2
fi3
fi4
fi5
fi6
fi7
fi8
fi9
fi10
fi11
fi12
fi13
fi14
fi15)))))))))))))))))))))))))))))))
gindex pindex p
= T.ufun2 c531v5v548v50index pindex p hindex
where hindex
(T.R
(T.Tuple2
(T.R
(T.Tuple15 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14 fl15)
_)
(T.R
(T.Tuple15 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14 fu15)
_))
_)
(T.R
(T.Tuple15 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13 fi14 fi15)
_)
p
= T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl15 fu15)
fi15)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p (grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl15
fu15))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl14
fu14)
fi14)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl14
fu14))
(T.uap2 T.mkNoSrcPos p ((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p (gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2
fl13
fu13)
fi13)
(T.uap2 T.mkNoSrcPos p ((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl13
fu13))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl12
fu12)
fi12)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl12
fu12))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl11
fu11))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos p)
(T.uap1 T.mkNoSrcPos p
(grangeSize
T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl10
fu10))
(T.uap2 T.mkNoSrcPos p
((!+) T.mkNoSrcPos p)
(T.uap2 T.mkNoSrcPos p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uap2 T.mkNoSrcPos p
((!*) T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl6
fu6))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl5
fu5))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl4
fu4))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl3
fu3))
(T.uap2
T.mkNoSrcPos
p
((!+)
T.mkNoSrcPos
p)
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2)
fi2)
(T.uap2
T.mkNoSrcPos
p
((!*)
T.mkNoSrcPos
p)
(T.uap1
T.mkNoSrcPos
p
(grangeSize
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl2
fu2))
(T.uap2
T.mkNoSrcPos
p
(gindex
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl1
fu1)
fi1))))))))))))))))))))))))))))
ginRange pinRange p
= T.ufun2 c550v5v567v35inRange pinRange p hinRange
where hinRange
(T.R
(T.Tuple2
(T.R
(T.Tuple15 fl1 fl2 fl3 fl4 fl5 fl6 fl7 fl8 fl9 fl10
fl11 fl12 fl13 fl14 fl15)
_)
(T.R
(T.Tuple15 fu1 fu2 fu3 fu4 fu5 fu6 fu7 fu8 fu9 fu10
fu11 fu12 fu13 fu14 fu15)
_))
_)
(T.R
(T.Tuple15 fi1 fi2 fi3 fi4 fi5 fi6 fi7 fi8 fi9 fi10
fi11 fi12 fi13 fi14 fi15)
_)
p
= T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl1 fu1)
fi1)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p (ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2 T.aTuple2 fl2
fu2)
fi2)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl3
fu3)
fi3)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p T.Tuple2
T.aTuple2
fl4
fu4)
fi4)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl5
fu5)
fi5)
(T.uwrapForward p
((*&&)
(T.uap2 T.mkNoSrcPos p
(ginRange T.mkNoSrcPos
p)
(T.con2 T.mkNoSrcPos p
T.Tuple2
T.aTuple2
fl6
fu6)
fi6)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl7
fu7)
fi7)
(T.uwrapForward p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl8
fu8)
fi8)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl9
fu9)
fi9)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl10
fu10)
fi10)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl11
fu11)
fi11)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl12
fu12)
fi12)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl13
fu13)
fi13)
(T.uwrapForward
p
((*&&)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl14
fu14)
fi14)
(T.uap2
T.mkNoSrcPos
p
(ginRange
T.mkNoSrcPos
p)
(T.con2
T.mkNoSrcPos
p
T.Tuple2
T.aTuple2
fl15
fu15)
fi15)
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p))
p)
c9v5v10v54rangeSize
= T.mkVariable tIx 90005 100054 3 (1) "rangeSize"
Prelude.False
c22v5v22v44inRange
= T.mkVariable tIx 220005 220044 3 (1) "inRange"
Prelude.False
c19v5v21v64index
= T.mkVariable tIx 190005 210064 3 (1) "index"
Prelude.False
c18v5v18v24range
= T.mkVariable tIx 180005 180024 3 (1) "range"
Prelude.False
c29v5v29v43inRange
= T.mkVariable tIx 290005 290043 3 (1) "inRange"
Prelude.False
c26v5v28v64index
= T.mkVariable tIx 260005 280064 3 (1) "index"
Prelude.False
c25v5v25v24range
= T.mkVariable tIx 250005 250024 3 (1) "range"
Prelude.False
c36v5v36v43inRange
= T.mkVariable tIx 360005 360043 3 (1) "inRange"
Prelude.False
c33v5v35v64index
= T.mkVariable tIx 330005 350064 3 (1) "index"
Prelude.False
c32v5v32v24range
= T.mkVariable tIx 320005 320024 3 (1) "range"
Prelude.False
c44v3v44v44inRange
= T.mkVariable tIx 440003 440044 3 (1) "inRange"
Prelude.False
c41v3v43v67index
= T.mkVariable tIx 410003 430067 3 (1) "index"
Prelude.False
c39v3v39v27range
= T.mkVariable tIx 390003 390027 3 (1) "range"
Prelude.False
c53v3v53v44inRange
= T.mkVariable tIx 530003 530044 3 (1) "inRange"
Prelude.False
c50v3v52v71index
= T.mkVariable tIx 500003 520071 3 (1) "index"
Prelude.False
c48v3v48v27range
= T.mkVariable tIx 480003 480027 3 (1) "range"
Prelude.False
c59v3v59v27inRange
= T.mkVariable tIx 590003 590027 3 (1) "inRange"
Prelude.False
c58v3v58v22index
= T.mkVariable tIx 580003 580022 3 (1) "index"
Prelude.False
c57v3v57v22range
= T.mkVariable tIx 570003 570022 3 (1) "range"
Prelude.False
c66v10v67v56inRange
= T.mkVariable tIx 660010 670056 3 (1) "inRange"
Prelude.False
c64v10v65v72index
= T.mkVariable tIx 640010 650072 3 (1) "index"
Prelude.False
c62v10v63v67range
= T.mkVariable tIx 620010 630067 3 (1) "range"
Prelude.False
c80v5v83v32inRange
= T.mkVariable tIx 800005 830032 3 (1) "inRange"
Prelude.False
c75v5v78v29index
= T.mkVariable tIx 750005 780029 3 (1) "index"
Prelude.False
c70v5v73v44range
= T.mkVariable tIx 700005 730044 3 (1) "range"
Prelude.False
c98v5v102v32inRange
= T.mkVariable tIx 980005 1020032 3 (1) "inRange"
Prelude.False
c92v5v96v32index
= T.mkVariable tIx 920005 960032 3 (1) "index"
Prelude.False
c86v5v90v47range
= T.mkVariable tIx 860005 900047 3 (1) "range"
Prelude.False
c120v5v125v32inRange
= T.mkVariable tIx 1200005 1250032 3 (1) "inRange"
Prelude.False
c113v5v118v32index
= T.mkVariable tIx 1130005 1180032 3 (1) "index"
Prelude.False
c106v5v111v50range
= T.mkVariable tIx 1060005 1110050 3 (1) "range"
Prelude.False
c145v5v151v32inRange
= T.mkVariable tIx 1450005 1510032 3 (1) "inRange"
Prelude.False
c137v5v143v34index
= T.mkVariable tIx 1370005 1430034 3 (1) "index"
Prelude.False
c129v5v135v53range
= T.mkVariable tIx 1290005 1350053 3 (1) "range"
Prelude.False
c173v5v180v32inRange
= T.mkVariable tIx 1730005 1800032 3 (1) "inRange"
Prelude.False
c164v5v171v35index
= T.mkVariable tIx 1640005 1710035 3 (1) "index"
Prelude.False
c155v5v162v56range
= T.mkVariable tIx 1550005 1620056 3 (1) "range"
Prelude.False
c205v5v214v32inRange
= T.mkVariable tIx 2050005 2140032 3 (1) "inRange"
Prelude.False
c194v5v203v37index
= T.mkVariable tIx 1940005 2030037 3 (1) "index"
Prelude.False
c184v5v192v56range
= T.mkVariable tIx 1840005 1920056 3 (1) "range"
Prelude.False
c242v5v252v32inRange
= T.mkVariable tIx 2420005 2520032 3 (1) "inRange"
Prelude.False
c230v5v240v44index
= T.mkVariable tIx 2300005 2400044 3 (1) "index"
Prelude.False
c218v5v228v47range
= T.mkVariable tIx 2180005 2280047 3 (1) "range"
Prelude.False
c285v5v297v35inRange
= T.mkVariable tIx 2850005 2970035 3 (1) "inRange"
Prelude.False
c271v5v283v45index
= T.mkVariable tIx 2710005 2830045 3 (1) "index"
Prelude.False
c257v5v269v50range
= T.mkVariable tIx 2570005 2690050 3 (1) "range"
Prelude.False
c332v5v345v35inRange
= T.mkVariable tIx 3320005 3450035 3 (1) "inRange"
Prelude.False
c317v5v330v46index
= T.mkVariable tIx 3170005 3300046 3 (1) "index"
Prelude.False
c302v5v315v50range
= T.mkVariable tIx 3020005 3150050 3 (1) "range"
Prelude.False
c382v5v396v35inRange
= T.mkVariable tIx 3820005 3960035 3 (1) "inRange"
Prelude.False
c366v5v380v47index
= T.mkVariable tIx 3660005 3800047 3 (1) "index"
Prelude.False
c350v5v364v50range
= T.mkVariable tIx 3500005 3640050 3 (1) "range"
Prelude.False
c435v5v450v35inRange
= T.mkVariable tIx 4350005 4500035 3 (1) "inRange"
Prelude.False
c418v5v433v48index
= T.mkVariable tIx 4180005 4330048 3 (1) "index"
Prelude.False
c401v5v416v50range
= T.mkVariable tIx 4010005 4160050 3 (1) "range"
Prelude.False
c491v5v507v35inRange
= T.mkVariable tIx 4910005 5070035 3 (1) "inRange"
Prelude.False
c473v5v489v49index
= T.mkVariable tIx 4730005 4890049 3 (1) "index"
Prelude.False
c455v5v471v50range
= T.mkVariable tIx 4550005 4710050 3 (1) "range"
Prelude.False
c550v5v567v35inRange
= T.mkVariable tIx 5500005 5670035 3 (1) "inRange"
Prelude.False
c531v5v548v50index
= T.mkVariable tIx 5310005 5480050 3 (1) "index"
Prelude.False
c512v5v529v50range
= T.mkVariable tIx 5120005 5290050 3 (1) "range"
Prelude.False
p = T.mkRoot
tIx = T.mkModule "Ix" "Ix.hs" Prelude.False