feldspar-language-0.3: A functional embedded language for DSP and parallelismContentsIndex
ABCDEFGHIJLMNOPQRSTUVWXZ:!$&*+./<=>?\^|-_
Index (P)
Parallel
1 (Data Constructor)
2 (Data Constructor)
parallel
partition
permute
pi
pred
Primitive
PrimitiveData
1 (Data Constructor)
2 (Type/Class)
PrimitiveType
print
printCore
printCoreWithSize
Prod
product
Program
properFraction
prop_abs
prop_abs2
prop_add
prop_addS
prop_addU
prop_andUCheap
prop_arith1
prop_arith2
prop_disjoint
prop_empty
prop_emptySubRange1
prop_emptySubRange2
prop_fromInteger
prop_full
prop_fullRange
prop_intersect1
prop_intersect2
prop_intersect3
prop_intersect4
prop_intersect5
prop_isEmpty1
prop_isEmpty2
prop_isFull
prop_isNegative
prop_mul
prop_neg
prop_negS
prop_negU
prop_orUCheap
prop_range
prop_rangeByRange
prop_rangeGap
prop_rangeLess1
prop_rangeLess2
prop_rangeLessEq
prop_rangeMax1
prop_rangeMax2
prop_rangeMax3
prop_rangeMax4
prop_rangeMax5
prop_rangeMax6
prop_rangeMax7
prop_rangeMin1
prop_rangeMin2
prop_rangeMin3
prop_rangeMin4
prop_rangeMin5
prop_rangeMin6
prop_rangeMin7
prop_rangeMod1
prop_rangeMod2
prop_rangeRem
prop_sign
prop_singletonRange1
prop_singletonRange2
prop_singletonSize
prop_sub
prop_subRange
prop_subU
prop_union1
prop_union2
prop_union3
prop_union4
prop_xorU
PrP
prP
putChar
putStr
putStrLn