polynomial-functor
Contents
Index
Index
>>?
Data.GADT.Compare.Extra
fromOrdering
Data.GADT.Compare.Extra
fromPoly
Data.Functor.Polynomial.Class
functionToPow
Data.Functor.Pow
GCompare
Data.Functor.Polynomial.Tag
gcompare
Data.Functor.Polynomial.Tag
gcomparePow
Data.Functor.Pow
,
Data.Functor.Polynomial.Tag
gcomparePow'
Data.Functor.Pow
GEQ
Data.Functor.Polynomial.Tag
GEq
Data.Functor.Polynomial.Tag
geq
Data.Functor.Polynomial.Tag
geqPow
Data.Functor.Pow
,
Data.Functor.Polynomial.Tag
geqPow'
Data.Functor.Pow
GGT
Data.Functor.Polynomial.Tag
GLT
Data.Functor.Polynomial.Tag
GOrdering
Data.Functor.Polynomial.Tag
GShow
Data.Functor.Polynomial.Tag
gshowsPrec
Data.Functor.Polynomial.Tag
HasFinitary
Data.GADT.HasFinitary
,
Data.Functor.Polynomial.Tag
P
Data.Functor.Polynomial
Poly
Data.Functor.Polynomial
Polynomial
Data.Functor.Polynomial.Class
Pow
Data.Functor.Pow
Pow'
Data.Functor.Pow
Pow0
Data.Functor.Pow
Pow1
Data.Functor.Pow
PowEven
Data.Functor.Pow
PowNZ
Data.Functor.Pow
PowOdd
Data.Functor.Pow
powToFunction
Data.Functor.Pow
Tag
Data.Functor.Polynomial.Class
TagComp
1 (Type/Class)
Data.Functor.Polynomial.Tag
2 (Data Constructor)
Data.Functor.Polynomial.Tag
TagDay
1 (Type/Class)
Data.Functor.Polynomial.Tag
2 (Data Constructor)
Data.Functor.Polynomial.Tag
TagFn
Data.Functor.Polynomial.Tag
TagJust
Data.Functor.Polynomial.Tag
TagK
1 (Type/Class)
Data.Functor.Polynomial.Tag
2 (Data Constructor)
Data.Functor.Polynomial.Tag
TagList
1 (Type/Class)
Data.Functor.Polynomial.Tag
2 (Data Constructor)
Data.Functor.Polynomial.Tag
TagMaybe
Data.Functor.Polynomial.Tag
TagMul
1 (Type/Class)
Data.Functor.Polynomial.Tag
2 (Data Constructor)
Data.Functor.Polynomial.Tag
TagNothing
Data.Functor.Polynomial.Tag
TagPow
Data.Functor.Pow
,
Data.Functor.Polynomial.Tag
TagPow'
Data.Functor.Pow
TagPow0
Data.Functor.Pow
,
Data.Functor.Polynomial.Tag
TagPow1
Data.Functor.Pow
TagPowEven
Data.Functor.Pow
TagPowNZ
Data.Functor.Pow
,
Data.Functor.Polynomial.Tag
TagPowOdd
Data.Functor.Pow
TagSum
Data.Functor.Polynomial.Tag
TagV
Data.Functor.Polynomial.Tag
toInhabitants
Data.GADT.HasFinitary
toPoly
Data.Functor.Polynomial.Class
toSNat
Data.GADT.HasFinitary
withFinitary
Data.GADT.HasFinitary
,
Data.Functor.Polynomial.Tag