Index
| ! | SubHask.Algebra, SubHask |
| !? | SubHask.Algebra, SubHask |
| $ | SubHask.Category, SubHask |
| $! | SubHask.Category, SubHask |
| $!! | SubHask |
| $$ | SubHask.Category, SubHask |
| && | SubHask.Algebra, SubHask |
| * | |
| 1 (Type/Class) | SubHask |
| 2 (Function) | SubHask.Algebra, SubHask |
| ** | SubHask.Algebra, SubHask |
| *. | SubHask.Algebra, SubHask |
| *.. | SubHask.Algebra, SubHask |
| *= | SubHask.Algebra, SubHask |
| + | |
| 1 (Type/Class) | SubHask |
| 2 (Function) | SubHask.Algebra, SubHask |
| ++ | SubHask |
| +. | SubHask.Algebra, SubHask |
| += | SubHask.Algebra, SubHask |
| +> | SubHask.Algebra.Vector |
| - | |
| 1 (Type/Class) | SubHask |
| 2 (Function) | SubHask.Algebra, SubHask |
| -= | SubHask.Algebra, SubHask |
| . | SubHask.Category, SubHask |
| .* | SubHask.Algebra, SubHask |
| .*. | SubHask.Algebra, SubHask |
| .*.= | SubHask.Algebra, SubHask |
| .*= | SubHask.Algebra, SubHask |
| .+ | SubHask.Algebra, SubHask |
| .+= | SubHask.Algebra, SubHask |
| ..*.. | SubHask.Algebra, SubHask |
| ./ | SubHask.Algebra, SubHask |
| ./. | SubHask.Algebra, SubHask |
| ./.= | SubHask.Algebra, SubHask |
| ./= | SubHask.Algebra, SubHask |
| / | |
| 1 (Function) | SubHask.Algebra, SubHask |
| 2 (Type/Class) | SubHask.Algebra.Group |
| 3 (Type/Class) | SubHask.Category.Slice |
| /= | SubHask.Algebra, SubHask |
| :~: | SubHask |
| < | SubHask.Algebra, SubHask |
| <*> | SubHask.Monad, SubHask |
| <: | SubHask.SubType, SubHask |
| <<< | SubHask.Category, SubHask |
| <= | |
| 1 (Type/Class) | SubHask |
| 2 (Function) | SubHask.Algebra, SubHask |
| <=< | SubHask.Monad, SubHask |
| <=? | SubHask |
| <> | SubHask.Algebra, SubHask |
| =<< | SubHask.Monad, SubHask |
| == | SubHask.Algebra, SubHask |
| ==> | SubHask.Algebra, SubHask |
| > | SubHask.Algebra, SubHask |
| >< | |
| 1 (Type/Class) | SubHask.Category.Product |
| 2 (Function) | SubHask.Algebra, SubHask |
| 3 (Type/Class) | SubHask.Algebra, SubHask |
| >= | SubHask.Algebra, SubHask |
| >=> | SubHask.Monad, SubHask |
| >> | SubHask.Monad, SubHask |
| >>= | SubHask.Monad, SubHask |
| >>> | SubHask.Category, SubHask |
| Abelian | SubHask.Algebra, SubHask |
| abs | SubHask.Algebra, SubHask |
| acos | SubHask.Algebra, SubHask |
| acosh | SubHask.Algebra, SubHask |
| Action | SubHask.Algebra, SubHask |
| Actor | SubHask.Algebra, SubHask |
| alignment | SubHask |
| All | SubHask.Algebra, SubHask |
| all | SubHask |
| and | SubHask.Algebra, SubHask |
| Any | |
| 1 (Type/Class) | SubHask.Algebra, SubHask |
| 2 (Data Constructor) | SubHask.Algebra, SubHask |
| ap | SubHask.Monad, SubHask |
| Applicative | SubHask.Monad, SubHask |
| Arbitrary | SubHask |
| arbitrary | SubHask |
| argmax | SubHask.Algebra, SubHask |
| argmin | SubHask.Algebra, SubHask |
| asin | SubHask.Algebra, SubHask |
| asinh | SubHask.Algebra, SubHask |
| asProxyTypeOf | SubHask |
| assert | SubHask |
| asTypeOf | SubHask |
| atan | SubHask.Algebra, SubHask |
| atanh | SubHask.Algebra, SubHask |
| Ball | |
| 1 (Type/Class) | SubHask.Algebra.Metric |
| 2 (Data Constructor) | SubHask.Algebra.Metric |
| Banach | SubHask.Algebra, SubHask |
| BanachBall | |
| 1 (Type/Class) | SubHask.Algebra.Metric |
| 2 (Data Constructor) | SubHask.Algebra.Metric |
| BArray | |
| 1 (Type/Class) | SubHask.Algebra.Array |
| 2 (Data Constructor) | SubHask.Algebra.Array |
| BasicType | SubHask.TemplateHaskell.Deriving |
| Bijective | SubHask.Category.Trans.Bijective |
| BijectiveT | SubHask.Category.Trans.Bijective |
| BloomFilter | SubHask.Compatibility.BloomFilter |
| Bool | SubHask |
| Boolean | SubHask.Algebra, SubHask |
| Boolean2Ring | |
| 1 (Type/Class) | SubHask.Algebra.Logic |
| 2 (Data Constructor) | SubHask.Algebra.Logic |
| Bounded | SubHask.Algebra, SubHask |
| BoundedField | SubHask.Algebra, SubHask |
| Box | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| braid | SubHask.Category, SubHask |
| Braided | SubHask.Category, SubHask |
| BSLC | SubHask.Compatibility.ByteString |
| build | SubHask |
| ByteString | SubHask.Compatibility.ByteString |
| C | SubHask.Category.Trans.Derivative |
| C0 | SubHask.Category.Trans.Derivative |
| C0_ | SubHask.Category.Trans.Derivative |
| C1 | SubHask.Category.Trans.Derivative |
| C1_ | SubHask.Category.Trans.Derivative |
| C2 | SubHask.Category.Trans.Derivative |
| C2_ | SubHask.Category.Trans.Derivative |
| Cancellative | SubHask.Algebra, SubHask |
| CanError | SubHask.Algebra, SubHask |
| Cartesian | SubHask.Category, SubHask |
| cast | SubHask |
| Category | SubHask.Category, SubHask |
| ceiling | SubHask.Algebra, SubHask |
| center | SubHask.Algebra.Metric |
| Char | SubHask |
| ClassicalLogic | SubHask.Algebra, SubHask |
| Closed | SubHask.Category, SubHask |
| CmpNat | SubHask |
| CmpSymbol | SubHask |
| CoArbitrary | SubHask |
| coarbitrary | SubHask |
| coarbitraryShow | SubHask |
| Comma | |
| 1 (Type/Class) | SubHask.Category.Slice |
| 2 (Data Constructor) | SubHask.Category.Slice |
| Compact | SubHask.Category, SubHask |
| compare | SubHask.Algebra, SubHask |
| Complemented | SubHask.Algebra, SubHask |
| ComponentWise | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| Componentwise | |
| 1 (Type/Class) | SubHask.Algebra.Ring |
| 2 (Data Constructor) | SubHask.Algebra.Ring |
| concat | SubHask.Algebra, SubHask |
| Concrete | SubHask.Category, SubHask |
| Cone | SubHask.Algebra, SubHask |
| cons | SubHask.Algebra, SubHask |
| consAt | SubHask.Algebra, SubHask |
| const | SubHask.Category, SubHask |
| const2 | SubHask.Category, SubHask |
| ConstrainedT | |
| 1 (Type/Class) | SubHask.Category.Trans.Constrained |
| 2 (Data Constructor) | SubHask.Category.Trans.Constrained |
| Constraint | SubHask |
| Constructible | SubHask.Algebra, SubHask |
| Constructible0 | SubHask.Algebra, SubHask |
| Container | SubHask.Algebra, SubHask |
| convertRationalField | SubHask.Algebra, SubHask |
| copy | SubHask.Mutable, SubHask.Algebra, SubHask |
| cos | SubHask.Algebra, SubHask |
| cosh | SubHask.Algebra, SubHask |
| counit | SubHask.Category, SubHask |
| curry | SubHask.Category, SubHask |
| D | SubHask.Category.Trans.Derivative |
| Dagger | SubHask.Category, SubHask |
| decode | SubHask.Compatibility.Cassava |
| decode_ | SubHask.Compatibility.Cassava |
| deepseq | SubHask |
| defn_Action_dotplusequal | SubHask.Algebra, SubHask |
| defn_Cancellative_plusequal | SubHask.Algebra, SubHask |
| defn_Constructible_cons | SubHask.Algebra, SubHask |
| defn_Constructible_fromList | SubHask.Algebra, SubHask |
| defn_Constructible_fromListN | SubHask.Algebra, SubHask |
| defn_Constructible_snoc | SubHask.Algebra, SubHask |
| defn_Foldable_foldl | SubHask.Algebra, SubHask |
| defn_Foldable_foldl' | SubHask.Algebra, SubHask |
| defn_Foldable_foldl1 | SubHask.Algebra, SubHask |
| defn_Foldable_foldl1' | SubHask.Algebra, SubHask |
| defn_Foldable_foldr | SubHask.Algebra, SubHask |
| defn_Foldable_foldr' | SubHask.Algebra, SubHask |
| defn_Foldable_foldr1 | SubHask.Algebra, SubHask |
| defn_Foldable_foldr1' | SubHask.Algebra, SubHask |
| defn_FreeModule_dotstardotequal | SubHask.Algebra, SubHask |
| defn_Group_negateminus | SubHask.Algebra, SubHask |
| defn_IxConstructible_consAt | SubHask.Algebra, SubHask |
| defn_IxConstructible_fromIxList | SubHask.Algebra, SubHask |
| defn_IxConstructible_snocAt | SubHask.Algebra, SubHask |
| defn_IxContainer_bang | SubHask.Algebra, SubHask |
| defn_IxContainer_findWithDefault | SubHask.Algebra, SubHask |
| defn_IxContainer_hasIndex | SubHask.Algebra, SubHask |
| defn_Lattice_greaterthan | SubHask.Algebra, SubHask |
| defn_Module_dotstarequal | SubHask.Algebra, SubHask |
| defn_Monoid_isZero | SubHask.Algebra, SubHask |
| defn_Rg_timesequal | SubHask.Algebra, SubHask |
| defn_Ring_fromInteger | SubHask.Algebra, SubHask |
| defn_Semigroup_plusequal | SubHask.Algebra, SubHask |
| DenseFunction | SubHask.Category.Finite |
| derivative | SubHask.Category.Trans.Derivative |
| deriveAll | SubHask.TemplateHaskell.Base |
| deriveHierarchy | SubHask.TemplateHaskell.Deriving |
| deriveHierarchyFiltered | SubHask.TemplateHaskell.Deriving |
| deriveSingleInstance | SubHask.TemplateHaskell.Deriving |
| deriveTypefamilies | SubHask.TemplateHaskell.Deriving |
| deZIndex | SubHask.Category.Finite |
| Diff | SubHask.Category.Trans.Derivative |
| Diff0 | SubHask.Category.Trans.Derivative |
| Diffn | SubHask.Category.Trans.Derivative |
| dim | SubHask.Algebra, SubHask |
| disableMultithreading | SubHask.Algebra.Parallel |
| dist | SubHask.Algebra.Container |
| distance | SubHask.Algebra, SubHask |
| distanceUB | SubHask.Algebra, SubHask |
| distanceUB_l2_m128 | SubHask.Algebra.Vector.FFI |
| distanceUB_l2_m128_SVector_Dynamic | SubHask.Algebra.Vector.FFI |
| distanceUB_l2_m128_UVector_Dynamic | SubHask.Algebra.Vector.FFI |
| distance_l2_m128 | SubHask.Algebra.Vector.FFI |
| distance_l2_m128_SVector_Dynamic | SubHask.Algebra.Vector.FFI |
| distance_l2_m128_UVector_Dynamic | SubHask.Algebra.Vector.FFI |
| div | SubHask.Algebra, SubHask |
| divMod | SubHask.Algebra, SubHask |
| Double | SubHask |
| Dual | SubHask.Category, SubHask |
| Either | SubHask |
| Elem | SubHask.Algebra, SubHask |
| elem | SubHask.Algebra, SubHask |
| Embed | SubHask.SubType, SubHask |
| Embed0 | SubHask.SubType, SubHask |
| Embed1 | SubHask.SubType, SubHask |
| Embed2 | SubHask.SubType, SubHask |
| embed2 | SubHask.Category, SubHask |
| embedHask | SubHask.Category, SubHask |
| embedHask2 | SubHask.Category, SubHask |
| embedType | SubHask.SubType, SubHask |
| embedType1 | SubHask.SubType, SubHask |
| embedType2 | SubHask.SubType, SubHask |
| embedType_ | SubHask.SubType, SubHask |
| empty | SubHask.Algebra, SubHask |
| Enum | SubHask.Algebra, SubHask |
| enumerate | SubHask.Category.Finite |
| EQ | SubHask.Algebra, SubHask |
| Eq | SubHask.Algebra, SubHask |
| EqHask | SubHask.Category.Trans.Constrained |
| eqT | SubHask |
| Eq_ | SubHask.Algebra, SubHask |
| erf | SubHask.Algebra, SubHask |
| error | SubHask |
| errorVal | SubHask.Algebra, SubHask |
| evalPolynomial_ | SubHask.Category.Polynomial |
| exp | SubHask.Algebra, SubHask |
| ExpField | SubHask.Algebra, SubHask |
| ExpRing | SubHask.Algebra, SubHask |
| extendedEuclid | SubHask.Algebra.Group |
| extractTestStr | SubHask.TemplateHaskell.Test |
| fail | SubHask.Monad, SubHask |
| False | SubHask |
| false | SubHask.Algebra, SubHask |
| Field | SubHask.Algebra, SubHask |
| FilePath | SubHask |
| filterM | SubHask.Monad, SubHask |
| findWithDefault | SubHask.Algebra, SubHask |
| FiniteModule | SubHask.Algebra, SubHask |
| FiniteType | SubHask.Category.Finite |
| flip | SubHask.Category, SubHask |
| Float | SubHask |
| floor | SubHask.Algebra, SubHask |
| fmap | SubHask.Monad, SubHask |
| Foldable | SubHask.Algebra, SubHask |
| foldl | SubHask.Algebra, SubHask |
| foldl' | SubHask.Algebra, SubHask |
| foldl1 | SubHask.Algebra, SubHask |
| foldl1' | SubHask.Algebra, SubHask |
| foldM | SubHask.Monad, SubHask |
| foldMap | SubHask.Algebra, SubHask |
| foldM_ | SubHask.Monad, SubHask |
| foldr | SubHask.Algebra, SubHask |
| foldr' | SubHask.Algebra, SubHask |
| foldr1 | SubHask.Algebra, SubHask |
| foldr1' | SubHask.Algebra, SubHask |
| foldtree1 | SubHask.Algebra, SubHask |
| forAllInScope | SubHask.TemplateHaskell.Base |
| force | SubHask |
| forever | SubHask.Monad, SubHask |
| forM | SubHask.Monad, SubHask |
| forM_ | SubHask.Monad, SubHask |
| Forward | |
| 1 (Type/Class) | SubHask.Category.Trans.Derivative |
| 2 (Data Constructor) | SubHask.Category.Trans.Derivative |
| FreeModule | SubHask.Algebra, SubHask |
| freeze | SubHask.Mutable, SubHask.Algebra, SubHask |
| fromEnum | SubHask.Algebra, SubHask |
| FromField | SubHask.Compatibility.Cassava |
| fromInteger | SubHask.Algebra, SubHask |
| fromIntegral | SubHask.Algebra, SubHask |
| fromIxList | SubHask.Algebra, SubHask |
| fromJust' | SubHask.Algebra, SubHask |
| fromList | SubHask.Algebra, SubHask |
| fromList1 | SubHask.Algebra, SubHask |
| fromList1N | SubHask.Algebra, SubHask |
| fromListN | SubHask.Algebra, SubHask |
| fromPreludeEq | SubHask.TemplateHaskell.Deriving |
| fromRational | SubHask.Algebra, SubHask |
| FromRecord | SubHask.Compatibility.Cassava |
| fromString | SubHask.Algebra, SubHask |
| fst | SubHask.Category, SubHask |
| fst_ | SubHask.Category, SubHask |
| Functor | SubHask.Monad, SubHask |
| funResultTy | SubHask |
| Galois | |
| 1 (Type/Class) | SubHask.Algebra.Group |
| 2 (Data Constructor) | SubHask.Algebra.Group |
| gamma | SubHask.Algebra, SubHask |
| gcast | SubHask |
| gcast1 | SubHask |
| gcast2 | SubHask |
| generate | SubHask.Algebra, SubHask |
| getOrder | SubHask.Category.Finite |
| Goedel | SubHask.Algebra.Logic |
| Goedel_ | |
| 1 (Type/Class) | SubHask.Algebra.Logic |
| 2 (Data Constructor) | SubHask.Algebra.Logic |
| Graded | SubHask.Algebra, SubHask |
| GrotheindieckGroup | SubHask.Algebra.Group |
| GrothendieckGroup | SubHask.Algebra.Group |
| Group | SubHask.Algebra, SubHask |
| Groupoid | SubHask.Category, SubHask |
| GT | SubHask.Algebra, SubHask |
| H | SubHask.Compatibility.HyperLogLog |
| H3 | SubHask.Algebra.Logic |
| Hamming | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| HasHeader | |
| 1 (Data Constructor) | SubHask.Compatibility.Cassava |
| 2 (Type/Class) | SubHask.Compatibility.Cassava |
| hasIndex | SubHask.Algebra, SubHask |
| Hask | SubHask.Category, SubHask |
| haskThen | SubHask.Monad, SubHask |
| HasScalar | SubHask.Algebra, SubHask |
| headMaybe | SubHask.Algebra, SubHask |
| helper_id | SubHask.TemplateHaskell.Deriving |
| helper_liftM | SubHask.TemplateHaskell.Deriving, SubHask.Mutable, SubHask.Algebra, SubHask |
| Heyting | SubHask.Algebra, SubHask |
| HFalse | SubHask.Algebra.Logic |
| Hilbert | SubHask.Algebra, SubHask |
| HTrue | SubHask.Algebra.Logic |
| HUnknown | SubHask.Algebra.Logic |
| HyperLogLog | SubHask.Compatibility.HyperLogLog |
| id | SubHask.Category, SubHask |
| ifThenElse | SubHask |
| imap | SubHask.Algebra, SubHask |
| immutable2mutable | SubHask.Mutable, SubHask.Algebra, SubHask |
| Increasing | SubHask.Category.Trans.Monotonic |
| IncreasingT | |
| 1 (Type/Class) | SubHask.Category.Trans.Monotonic |
| 2 (Data Constructor) | SubHask.Category.Trans.Monotonic |
| Increasing_ | SubHask.Category.Trans.Monotonic |
| Index | SubHask.Algebra, SubHask |
| index | SubHask.Category.Finite |
| indicator | SubHask.Algebra, SubHask |
| indices | SubHask.Algebra, SubHask |
| inf | SubHask.Algebra, SubHask |
| infimum | SubHask.Algebra, SubHask |
| infimum_ | SubHask.Algebra, SubHask |
| infinity | SubHask.Algebra, SubHask |
| initial | SubHask.Category, SubHask |
| initMaybe | SubHask.Algebra, SubHask |
| Injective | SubHask.Category.Trans.Bijective |
| InjectiveT | SubHask.Category.Trans.Bijective |
| innerProductDistance | SubHask.Algebra, SubHask |
| innerProductNorm | SubHask.Algebra, SubHask |
| insert | SubHask.Algebra, SubHask |
| insertAt | SubHask.Algebra, SubHask |
| Int | SubHask |
| Int16 | SubHask |
| Int32 | SubHask |
| Int64 | SubHask |
| Int8 | SubHask |
| Integer | SubHask |
| Integral | SubHask.Algebra, SubHask |
| IntMap | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| IntMap' | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| invar_Ball_radius | SubHask.Algebra.Metric |
| invar_Box_ordered | SubHask.Algebra.Container |
| inverse | SubHask.Category, SubHask |
| IO | SubHask |
| isAntichain | SubHask.Algebra, SubHask |
| isChain | SubHask.Algebra, SubHask |
| isEmpty | SubHask.Algebra, SubHask |
| isError | SubHask.Algebra, SubHask |
| isFartherThan | SubHask.Algebra, SubHask |
| isJust | SubHask.Algebra, SubHask |
| IsMutable | SubHask.Mutable, SubHask.Algebra, SubHask |
| isNaN | SubHask.Algebra, SubHask |
| isOne | SubHask.Algebra, SubHask |
| IsScalar | SubHask.Algebra, SubHask |
| isZero | SubHask.Algebra, SubHask |
| IxConstructible | SubHask.Algebra, SubHask |
| IxContainer | SubHask.Algebra, SubHask |
| Jaccard | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| join | SubHask.Monad, SubHask |
| Just | SubHask |
| Just' | SubHask.Algebra, SubHask |
| justs' | SubHask.Algebra, SubHask |
| K3 | SubHask.Algebra.Logic |
| KFalse | SubHask.Algebra.Logic |
| Kleisli | |
| 1 (Type/Class) | SubHask.Monad, SubHask |
| 2 (Data Constructor) | SubHask.Monad, SubHask |
| KnownNat | SubHask |
| KnownSymbol | SubHask |
| KProxy | |
| 1 (Data Constructor) | SubHask |
| 2 (Type/Class) | SubHask |
| KTrue | SubHask.Algebra.Logic |
| KUnknown | SubHask.Algebra.Logic |
| Labeled' | |
| 1 (Type/Class) | SubHask.Algebra, SubHask |
| 2 (Data Constructor) | SubHask.Algebra, SubHask |
| largest | SubHask.Algebra.Container |
| lastMaybe | SubHask.Algebra, SubHask |
| Lattice | SubHask.Algebra, SubHask |
| Lattice_ | SubHask.Algebra, SubHask |
| law_Abelian_commutative | SubHask.Algebra, SubHask |
| law_Action_compatibility | SubHask.Algebra, SubHask |
| law_Boolean_infcomplement | SubHask.Algebra, SubHask |
| law_Boolean_infdistributivity | SubHask.Algebra, SubHask |
| law_Boolean_supcomplement | SubHask.Algebra, SubHask |
| law_Boolean_supdistributivity | SubHask.Algebra, SubHask |
| law_Bounded_sup | SubHask.Algebra, SubHask |
| law_Cancellative_rightminus1 | SubHask.Algebra, SubHask |
| law_Cancellative_rightminus2 | SubHask.Algebra, SubHask |
| law_Complemented_not | SubHask.Algebra, SubHask |
| law_Constructible_singleton | SubHask.Algebra, SubHask |
| law_Container_preservation | SubHask.Algebra, SubHask |
| law_Enum_succ | SubHask.Algebra, SubHask |
| law_Enum_toEnum | SubHask.Algebra, SubHask |
| law_Eq_reflexive | SubHask.Algebra, SubHask |
| law_Eq_symmetric | SubHask.Algebra, SubHask |
| law_Eq_transitive | SubHask.Algebra, SubHask |
| law_Foldable_sum | SubHask.Algebra, SubHask |
| law_FreeModule_associative | SubHask.Algebra, SubHask |
| law_FreeModule_commutative | SubHask.Algebra, SubHask |
| law_FreeModule_id | SubHask.Algebra, SubHask |
| law_Graded_fromEnum | SubHask.Algebra, SubHask |
| law_Graded_pred | SubHask.Algebra, SubHask |
| law_Group_leftinverse | SubHask.Algebra, SubHask |
| law_Group_rightinverse | SubHask.Algebra, SubHask |
| law_Heyting_distributive | SubHask.Algebra, SubHask |
| law_Heyting_infleft | SubHask.Algebra, SubHask |
| law_Heyting_infright | SubHask.Algebra, SubHask |
| law_Heyting_maxbound | SubHask.Algebra, SubHask |
| law_Integral_divMod | SubHask.Algebra, SubHask |
| law_Integral_quotRem | SubHask.Algebra, SubHask |
| law_Integral_toFromInverse | SubHask.Algebra, SubHask |
| law_IxConstructible_lookup | SubHask.Algebra, SubHask |
| law_IxContainer_preservation | SubHask.Algebra, SubHask |
| law_Lattice_antisymmetry | SubHask.Algebra, SubHask |
| law_Lattice_associative | SubHask.Algebra, SubHask |
| law_Lattice_commutative | SubHask.Algebra, SubHask |
| law_Lattice_infabsorption | SubHask.Algebra, SubHask |
| law_Lattice_reflexivity | SubHask.Algebra, SubHask |
| law_Lattice_supabsorption | SubHask.Algebra, SubHask |
| law_Lattice_transitivity | SubHask.Algebra, SubHask |
| law_Metric_indiscernables | SubHask.Algebra, SubHask |
| law_Metric_nonnegativity | SubHask.Algebra, SubHask |
| law_Metric_symmetry | SubHask.Algebra, SubHask |
| law_Metric_triangle | SubHask.Algebra, SubHask |
| law_MinBound_inf | SubHask.Algebra, SubHask |
| law_Module_action | SubHask.Algebra, SubHask |
| law_Module_addition | SubHask.Algebra, SubHask |
| law_Module_multiplication | SubHask.Algebra, SubHask |
| law_Module_unital | SubHask.Algebra, SubHask |
| law_Monoid_leftid | SubHask.Algebra, SubHask |
| law_Monoid_rightid | SubHask.Algebra, SubHask |
| law_Ord_max | SubHask.Algebra, SubHask |
| law_Ord_min | SubHask.Algebra, SubHask |
| law_Ord_totality | SubHask.Algebra, SubHask |
| law_Partitionable_length | SubHask.Algebra.Parallel |
| law_Partitionable_monoid | SubHask.Algebra.Parallel |
| law_POrd_associative | SubHask.Algebra, SubHask |
| law_POrd_commutative | SubHask.Algebra, SubHask |
| law_Rg_annihilation | SubHask.Algebra, SubHask |
| law_Rg_distributivityLeft | SubHask.Algebra, SubHask |
| law_Rg_multiplicativeAssociativity | SubHask.Algebra, SubHask |
| law_Rg_multiplicativeCommutivity | SubHask.Algebra, SubHask |
| law_Rig_multiplicativeId | SubHask.Algebra, SubHask |
| law_Semigroup_associativity | SubHask.Algebra, SubHask |
| lb2distanceUB | SubHask.Algebra, SubHask |
| Left | SubHask |
| length | SubHask.Algebra, SubHask |
| Levenshtein | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| Lexical | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| LexSet | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| liftM | SubHask.Monad, SubHask |
| liftM2 | SubHask.Monad, SubHask |
| liftM3 | SubHask.Monad, SubHask |
| liftM4 | SubHask.Monad, SubHask |
| liftM5 | SubHask.Monad, SubHask |
| liftPreludeOrd | SubHask.Compatibility.Containers |
| list2sparseFunction | SubHask.Category.Finite |
| listExp2Exp | SubHask.TemplateHaskell.Test |
| listSuperClasses | SubHask.TemplateHaskell.Deriving |
| lnGamma | SubHask.Algebra, SubHask |
| log | SubHask.Algebra, SubHask |
| logBase | SubHask.Algebra, SubHask |
| Logic | SubHask.Algebra, SubHask |
| lookup | SubHask.Algebra, SubHask |
| LT | SubHask.Algebra, SubHask |
| Map | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| map | SubHask |
| Map' | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| mapAndUnzipM | SubHask.Monad, SubHask |
| mapM | SubHask.Monad, SubHask |
| mapM_ | SubHask.Monad, SubHask |
| max | SubHask.Algebra, SubHask |
| maxBound | SubHask.Algebra, SubHask |
| maximum | SubHask.Algebra, SubHask |
| maximum_ | SubHask.Algebra, SubHask |
| Maybe | SubHask |
| Maybe' | SubHask.Algebra, SubHask |
| Metric | SubHask.Algebra, SubHask |
| min | SubHask.Algebra, SubHask |
| MinBound | SubHask.Algebra, SubHask |
| minBound | SubHask.Algebra, SubHask |
| MinBound_ | SubHask.Algebra, SubHask |
| minimum | SubHask.Algebra, SubHask |
| minimum_ | SubHask.Algebra, SubHask |
| mkAppTy | SubHask |
| mkBoolean2Ring | SubHask.Algebra.Logic |
| mkClassTests | SubHask.TemplateHaskell.Test |
| mkFunTy | SubHask |
| mkMutable | SubHask.TemplateHaskell.Mutable, SubHask.Mutable, SubHask.Algebra, SubHask |
| mkMutableNewtype | SubHask.TemplateHaskell.Mutable, SubHask.TemplateHaskell.Deriving |
| mkMutablePrimRef | SubHask.TemplateHaskell.Mutable |
| mkPreludeApplicative | SubHask.TemplateHaskell.Base |
| mkPreludeEq | SubHask.TemplateHaskell.Base |
| mkPreludeFunctor | SubHask.TemplateHaskell.Base |
| mkPreludeMonad | SubHask.TemplateHaskell.Base |
| mkQuotient | SubHask.Algebra.Group |
| mkSpecializedClassTest | SubHask.TemplateHaskell.Test |
| mkSpecializedClassTests | SubHask.TemplateHaskell.Test |
| mkSubtype | SubHask.SubType, SubHask |
| mkSubtypeInstance | SubHask.SubType, SubHask |
| mkTest | SubHask.TemplateHaskell.Test |
| mkTests | SubHask.TemplateHaskell.Test |
| mkThen | SubHask.Monad, SubHask |
| mkTyCon3 | SubHask |
| mkTyConApp | SubHask |
| Mod | SubHask.Algebra.Group |
| mod | SubHask.Algebra, SubHask |
| Module | SubHask.Algebra, SubHask |
| modusPonens | SubHask.Algebra, SubHask |
| Mon | SubHask.Category.Trans.Monotonic |
| Monad | SubHask.Monad, SubHask |
| Monoid | SubHask.Algebra, SubHask |
| Monoidal | SubHask.Category, SubHask |
| MonT | |
| 1 (Type/Class) | SubHask.Category.Trans.Monotonic |
| 2 (Data Constructor) | SubHask.Category.Trans.Monotonic |
| Mutable | SubHask.Mutable, SubHask.Algebra, SubHask |
| mutable2immutable | SubHask.Mutable, SubHask.Algebra, SubHask |
| Mutable_AppT__AppT__AppT__ConT_SubHask_Category_Trans_Derivative_Diff___VarT_n_1628013694____VarT_a_1628013695____VarT_b_1628013696_ | SubHask.Category.Trans.Derivative |
| Mutable_AppT__AppT__AppT__ConT_SubHask_Category_Trans_Monotonic_IncreasingT___VarT_cat_1627694221____VarT_a_1627694222____VarT_b_1627694223_ | SubHask.Category.Trans.Monotonic |
| Mutable_AppT__AppT__ConT_SubHask_Category_Polynomial_Polynomial____VarT_a_1627677154____VarT_b_1627677155_ | SubHask.Category.Polynomial |
| Mutable_AppT__AppT__ConT_SubHask_Category_ProofOf___AppT__ConT_SubHask_Category_Trans_Monotonic_IncreasingT___VarT_cat_1627694764_____VarT_a_1627694763_ | SubHask.Category.Trans.Monotonic |
| Mutable_AppT__AppT__ConT_SubHask_Category_ProofOf___ConT_SubHask_Category_Polynomial_Polynomial_____VarT_a_1627677543_ | SubHask.Category.Polynomial |
| Mutable_AppT__AppT__ConT_SubHask_Compatibility_Containers_Map'___VarT_i_1628105501____VarT_e_1628105502_ | SubHask.Compatibility.Containers |
| Mutable_AppT__AppT__ConT_SubHask_Compatibility_Containers_Map___VarT_i_1628104360____VarT_e_1628104361_ | SubHask.Compatibility.Containers |
| Mutable_AppT__AppT__ConT_SubHask_Compatibility_HyperLogLog_HyperLogLog___VarT_p_1628153617____VarT_a_1628153618_ | SubHask.Compatibility.HyperLogLog |
| Mutable_AppT__ConT_SubHask_Algebra_Container_Box___VarT_v_1628020028_ | SubHask.Algebra.Container |
| Mutable_AppT__ConT_SubHask_Algebra_Metric_Ball___VarT_b_1627656400_ | SubHask.Algebra.Metric |
| Mutable_AppT__ConT_SubHask_Category_Trans_Derivative_Forward___VarT_a_1628012176_ | SubHask.Category.Trans.Derivative |
| Mutable_AppT__ConT_SubHask_Compatibility_ByteString_ByteString___VarT_a_1628156234_ | SubHask.Compatibility.ByteString |
| Mutable_AppT__ConT_SubHask_Compatibility_Containers_IntMap'___VarT_a_1628107561_ | SubHask.Compatibility.Containers |
| Mutable_AppT__ConT_SubHask_Compatibility_Containers_IntMap___VarT_a_1628106664_ | SubHask.Compatibility.Containers |
| Mutable_AppT__ConT_SubHask_Compatibility_Containers_LexSet___VarT_a_1628109321_ | SubHask.Compatibility.Containers |
| Mutable_AppT__ConT_SubHask_Compatibility_Containers_Seq___VarT_a_1628103216_ | SubHask.Compatibility.Containers |
| Mutable_AppT__ConT_SubHask_Compatibility_Containers_Set___VarT_a_1628108370_ | SubHask.Compatibility.Containers |
| Mutable_Boolean2Ring | SubHask.Algebra.Logic |
| Mutable_ComponentWise | SubHask.Algebra.Container |
| Mutable_Galois | SubHask.Algebra.Group |
| Mutable_Goedel_ | SubHask.Algebra.Logic |
| Mutable_Hamming | SubHask.Algebra.Container |
| Mutable_Jaccard | SubHask.Algebra.Container |
| Mutable_Levenshtein | SubHask.Algebra.Container |
| Mutable_Lexical | SubHask.Algebra.Container |
| Mutable_Mod | SubHask.Algebra.Group |
| Mutable_NonNegative | SubHask.Algebra.Group |
| Mutable_PartitionOnNewline | SubHask.Compatibility.ByteString |
| Mutable_Uncompensated | SubHask.Algebra.Container |
| Mutable_VedicSquare | SubHask.Algebra.Group |
| Mutable_WithPreludeOrd | SubHask.Algebra.Ord |
| mXv | SubHask.Algebra, SubHask |
| nan | SubHask.Algebra, SubHask |
| Nat | SubHask |
| natVal | SubHask |
| natVal' | SubHask |
| negate | SubHask.Algebra, SubHask |
| negInfinity | SubHask.Algebra, SubHask |
| newPrimRef | SubHask.Mutable, SubHask.Algebra, SubHask |
| NFData | SubHask |
| NoHeader | SubHask.Compatibility.Cassava |
| NonNegative | |
| 1 (Type/Class) | SubHask.Algebra.Group |
| 2 (Data Constructor) | SubHask.Algebra.Group |
| normalize | SubHask.Algebra, SubHask |
| Normed | SubHask.Algebra, SubHask |
| not | SubHask.Algebra, SubHask |
| notElem | SubHask.Algebra, SubHask |
| Nothing | SubHask |
| Nothing' | SubHask.Algebra, SubHask |
| notOne | SubHask.Algebra, SubHask |
| notZero | SubHask.Algebra, SubHask |
| one | SubHask.Algebra, SubHask |
| ones | SubHask.Algebra, SubHask |
| or | SubHask.Algebra, SubHask |
| Ord | SubHask.Algebra, SubHask |
| Order | SubHask.Category.Finite |
| Ordering | SubHask.Algebra, SubHask |
| OrdField | SubHask.Algebra, SubHask |
| OrdHask | SubHask.Category.Trans.Constrained |
| OrdRing_ | SubHask.Algebra.Logic |
| Ord_ | SubHask.Algebra, SubHask |
| otherwise | SubHask |
| parallel | SubHask.Algebra.Parallel |
| parallelBlocked | SubHask.Algebra.Parallel |
| parallelBlockedN | SubHask.Algebra.Parallel |
| parallelInterleaved | SubHask.Algebra.Parallel |
| partition | SubHask.Algebra.Parallel |
| Partitionable | SubHask.Algebra.Parallel |
| partitionInterleaved | SubHask.Algebra.Parallel |
| PartitionOnNewline | |
| 1 (Type/Class) | SubHask.Compatibility.ByteString |
| 2 (Data Constructor) | SubHask.Compatibility.ByteString |
| pcompare | SubHask.Algebra, SubHask |
| peek | SubHask |
| peekByteOff | SubHask |
| peekElemOff | SubHask |
| PEQ | SubHask.Algebra, SubHask |
| PGT | SubHask.Algebra, SubHask |
| pi | SubHask.Algebra, SubHask |
| PLT | SubHask.Algebra, SubHask |
| PNA | SubHask.Algebra, SubHask |
| poke | SubHask |
| pokeByteOff | SubHask |
| pokeElemOff | SubHask |
| Polynomial | SubHask.Category.Polynomial |
| Polynomial_ | |
| 1 (Type/Class) | SubHask.Category.Polynomial |
| 2 (Data Constructor) | SubHask.Category.Polynomial |
| POrd | SubHask.Algebra, SubHask |
| POrdering | SubHask.Algebra, SubHask |
| POrd_ | SubHask.Algebra, SubHask |
| pow | SubHask.Category.Polynomial |
| pred | SubHask.Algebra, SubHask |
| PrimBase | SubHask.Mutable, SubHask.Algebra, SubHask |
| Prime | SubHask.Algebra.Group |
| PrimRef | SubHask.Mutable, SubHask.Algebra, SubHask |
| PrimState | SubHask.Mutable, SubHask.Algebra, SubHask |
| printQuadDistances | SubHask.Algebra.Metric |
| printTriDistances | SubHask.Algebra.Metric |
| Product | SubHask.Category.Product |
| ProofOf | |
| 1 (Type/Class) | SubHask.Category, SubHask |
| 2 (Data Constructor) | SubHask.Category.Polynomial |
| 3 (Data Constructor) | SubHask.Category.Trans.Monotonic |
| ProofOf_ | SubHask.Category, SubHask |
| Provable | SubHask.Category, SubHask |
| proveBijective | SubHask.Category.Trans.Bijective |
| proveC1 | SubHask.Category.Trans.Derivative |
| proveC2 | SubHask.Category.Trans.Derivative |
| proveConstrained | SubHask.Category.Trans.Constrained |
| proveDenseFunction | SubHask.Category.Finite |
| proveEqHask | SubHask.Category.Trans.Constrained |
| proveIncreasing | SubHask.Category.Trans.Monotonic |
| proveOrdHask | SubHask.Category.Trans.Constrained |
| provePolynomial | SubHask.Category.Polynomial |
| proveSparseFunction | SubHask.Category.Finite |
| Proxy | |
| 1 (Data Constructor) | SubHask |
| 2 (Type/Class) | SubHask |
| pure | SubHask.Monad, SubHask |
| quot | SubHask.Algebra, SubHask |
| Quotient | SubHask.Algebra.Group |
| QuotientField | SubHask.Algebra, SubHask |
| quotRem | SubHask.Algebra, SubHask |
| radius | SubHask.Algebra.Metric |
| Rational | SubHask |
| RationalField | SubHask.Algebra, SubHask |
| Read | SubHask |
| read | SubHask |
| readFileByteString | SubHask.Compatibility.ByteString |
| readList | SubHask |
| readPrimRef | SubHask.Mutable, SubHask.Algebra, SubHask |
| readsPrec | SubHask |
| Real | SubHask.Algebra, SubHask |
| reciprocal | SubHask.Algebra, SubHask |
| reduce | SubHask.Algebra, SubHask |
| Refl | SubHask |
| rem | SubHask.Algebra, SubHask |
| replicateM | SubHask.Monad, SubHask |
| replicateM_ | SubHask.Monad, SubHask |
| return | SubHask.Monad, SubHask |
| return_ | SubHask.Monad, SubHask |
| Rg | SubHask.Algebra, SubHask |
| Rig | SubHask.Algebra, SubHask |
| Right | SubHask |
| Ring | SubHask.Algebra, SubHask |
| rnf | SubHask |
| rnfTyCon | SubHask |
| rnfTypeRep | SubHask |
| Rng | SubHask.Algebra, SubHask |
| round | SubHask.Algebra, SubHask |
| roundUpToNearest | SubHask.Algebra, SubHask |
| runIfNotInstance | SubHask.TemplateHaskell.Base |
| runSlice | SubHask.Category.Slice |
| safeNewByteArray | SubHask.Algebra.Vector |
| sameNat | SubHask |
| sameSymbol | SubHask |
| Scalar | SubHask.Algebra, SubHask |
| Semigroup | SubHask.Algebra, SubHask |
| Seq | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| seq | SubHask |
| sequence | SubHask.Monad, SubHask |
| sequence_ | SubHask.Monad, SubHask |
| Set | |
| 1 (Type/Class) | SubHask.Compatibility.Containers |
| 2 (Data Constructor) | SubHask.Compatibility.Containers |
| SetElem | SubHask.Algebra, SubHask |
| SetIndex | SubHask.Algebra, SubHask |
| Show | SubHask |
| show | SubHask |
| showList | SubHask |
| showsPrec | SubHask |
| showsTypeRep | SubHask |
| shrink | SubHask |
| shuffle | SubHask.Algebra.Ord |
| SimpleContainerLogic | SubHask.Algebra.Container |
| simpleMutableDefn | SubHask.Algebra, SubHask |
| sin | SubHask.Algebra, SubHask |
| singleton | SubHask.Algebra, SubHask |
| singletonAt | SubHask.Algebra, SubHask |
| sinh | SubHask.Algebra, SubHask |
| size | SubHask.Algebra, SubHask |
| sizeOf | SubHask |
| sizeSquared | SubHask.Algebra, SubHask |
| Slice | SubHask.Category.Slice |
| slice | SubHask.Algebra, SubHask |
| Sliceable | SubHask.Algebra, SubHask |
| smallest | SubHask.Algebra.Container |
| SMatrix | SubHask.Algebra.Vector |
| snd | SubHask.Category, SubHask |
| snd_ | SubHask.Category, SubHask |
| snoc | SubHask.Algebra, SubHask |
| snocAt | SubHask.Algebra, SubHask |
| SomeNat | |
| 1 (Data Constructor) | SubHask |
| 2 (Type/Class) | SubHask |
| someNatVal | SubHask |
| SomeSymbol | |
| 1 (Data Constructor) | SubHask |
| 2 (Type/Class) | SubHask |
| someSymbolVal | SubHask |
| sort | SubHask.Algebra.Ord |
| SparseFunction | SubHask.Category.Finite |
| SparseFunctionMonoid | SubHask.Category.Finite |
| specializeLaw | SubHask.TemplateHaskell.Test |
| specializeType | SubHask.TemplateHaskell.Test |
| splitTyConApp | SubHask |
| sqrt | SubHask.Algebra, SubHask |
| ST | SubHask |
| Storable | SubHask |
| String | SubHask |
| succ | SubHask.Algebra, SubHask |
| sum | SubHask.Algebra, SubHask |
| sumList | SubHask.Category.Polynomial |
| Sup | SubHask.SubType, SubHask |
| sup | SubHask.Algebra, SubHask |
| supremum | SubHask.Algebra, SubHask |
| supremum_ | SubHask.Algebra, SubHask |
| Surjective | SubHask.Category.Trans.Bijective |
| SurjectiveT | SubHask.Category.Trans.Bijective |
| SVector | SubHask.Algebra.Vector |
| SVector_Dynamic | SubHask.Algebra.Vector |
| SVector_Nat | SubHask.Algebra.Vector |
| Symbol | SubHask |
| symbolVal | SubHask |
| symbolVal' | SubHask |
| Symmetric | SubHask.Category, SubHask |
| tailMaybe | SubHask.Algebra, SubHask |
| tan | SubHask.Algebra, SubHask |
| tanh | SubHask.Algebra, SubHask |
| Tensor | SubHask.Category, SubHask |
| tensor | SubHask.Category, SubHask |
| TensorAlgebra | SubHask.Algebra, SubHask |
| terminal | SubHask.Category, SubHask |
| testMap | SubHask.TemplateHaskell.Test |
| thaw | SubHask.Mutable, SubHask.Algebra, SubHask |
| Then | SubHask.Monad, SubHask |
| theorem_Constructible_cons | SubHask.Algebra, SubHask |
| theorem_Foldable_tofrom | SubHask.Algebra, SubHask |
| theorem_Lattice_idempotent | SubHask.Algebra, SubHask |
| theorem_POrd_idempotent | SubHask.Algebra, SubHask |
| theorem_Rg_distributivityRight | SubHask.Algebra, SubHask |
| toDouble | SubHask.Algebra, SubHask |
| toEnum | SubHask.Algebra, SubHask |
| ToField | SubHask.Compatibility.Cassava |
| toFloat | SubHask.Algebra, SubHask |
| toInteger | SubHask.Algebra, SubHask |
| toIxList | SubHask.Algebra, SubHask |
| toList | SubHask.Algebra, SubHask |
| toRational | SubHask.Algebra, SubHask |
| ToRecord | SubHask.Compatibility.Cassava |
| trans | SubHask.Category, SubHask |
| True | SubHask |
| true | SubHask.Algebra, SubHask |
| truncate | SubHask.Algebra, SubHask |
| TUnit | SubHask.Category, SubHask |
| tunit | SubHask.Category, SubHask |
| TyCon | SubHask |
| tyConFingerprint | SubHask |
| tyConModule | SubHask |
| tyConName | SubHask |
| tyConPackage | SubHask |
| tyConString | SubHask |
| Typeable | SubHask |
| Typeable1 | SubHask |
| Typeable2 | SubHask |
| Typeable3 | SubHask |
| Typeable4 | SubHask |
| Typeable5 | SubHask |
| Typeable6 | SubHask |
| Typeable7 | SubHask |
| typeOf | SubHask |
| typeOf1 | SubHask |
| typeOf2 | SubHask |
| typeOf3 | SubHask |
| typeOf4 | SubHask |
| typeOf5 | SubHask |
| typeOf6 | SubHask |
| typeOf7 | SubHask |
| TypeRep | SubHask |
| typeRep | SubHask |
| typeRepArgs | SubHask |
| typeRepFingerprint | SubHask |
| typeRepTyCon | SubHask |
| UArray | |
| 1 (Type/Class) | SubHask.Algebra.Array |
| 2 (Data Constructor) | SubHask.Algebra.Array |
| Unbox | SubHask.Algebra.Vector |
| Unboxable | SubHask.Algebra.Array |
| unbraid | SubHask.Category, SubHask |
| unBSLC | SubHask.Compatibility.ByteString |
| Uncompensated | |
| 1 (Type/Class) | SubHask.Algebra.Container |
| 2 (Data Constructor) | SubHask.Algebra.Container |
| unComponentWise | SubHask.Algebra.Container |
| unComponentwise | SubHask.Algebra.Ring |
| uncons | SubHask.Algebra, SubHask |
| uncurry | SubHask.Category, SubHask |
| undefined | SubHask |
| unEmbed0 | SubHask.SubType, SubHask |
| unEmbed1 | SubHask.SubType, SubHask |
| unEmbed2 | SubHask.SubType, SubHask |
| unit | SubHask.Category, SubHask |
| unless | SubHask.Monad, SubHask |
| unLexical | SubHask.Algebra.Container |
| unNonNegative | SubHask.Algebra.Group |
| unProofOf | |
| 1 (Function) | SubHask.Category.Polynomial |
| 2 (Function) | SubHask.Category.Trans.Monotonic |
| unsafeFreeze | SubHask.Mutable, SubHask.Algebra, SubHask |
| unsafeMkSMatrix | SubHask.Algebra.Vector |
| unsafeParallelInterleaved | SubHask.Algebra.Parallel |
| unsafeParallelInterleavedN | SubHask.Algebra.Parallel |
| unsafeProveBijective | SubHask.Category.Trans.Bijective |
| unsafeProveC0 | SubHask.Category.Trans.Derivative |
| unsafeProveC1 | SubHask.Category.Trans.Derivative |
| unsafeProveC2 | SubHask.Category.Trans.Derivative |
| unsafeProveIncreasing | SubHask.Category.Trans.Monotonic |
| unsafeProveInjective | SubHask.Category.Trans.Bijective |
| unsafeProveMon | SubHask.Category.Trans.Monotonic |
| unsafeProveMonT | SubHask.Category.Trans.Monotonic |
| unsafeProveSurjective | SubHask.Category.Trans.Bijective |
| unsafeRunMutableProperty | SubHask.Mutable, SubHask.Algebra, SubHask |
| unsafeThaw | SubHask.Mutable, SubHask.Algebra, SubHask |
| unsafeToModule | SubHask.Algebra, SubHask |
| unsnoc | SubHask.Algebra, SubHask |
| unWithPreludeOrd | SubHask.Algebra.Ord |
| UVector | SubHask.Algebra.Vector |
| UVector_Dynamic | SubHask.Algebra.Vector |
| val | SubHask.Category.Trans.Derivative |
| val' | SubHask.Category.Trans.Derivative |
| ValidCategory | SubHask.Category, SubHask |
| ValidElem | SubHask.Algebra, SubHask |
| ValidEq | SubHask.Algebra, SubHask |
| ValidLogic | SubHask.Algebra, SubHask |
| ValidMon | SubHask.Category.Trans.Monotonic |
| values | SubHask.Algebra, SubHask |
| VectorSpace | SubHask.Algebra, SubHask |
| VedicSquare | |
| 1 (Type/Class) | SubHask.Algebra.Group |
| 2 (Data Constructor) | SubHask.Algebra.Group |
| void | SubHask.Monad, SubHask |
| vXm | SubHask.Algebra, SubHask |
| when | SubHask.Monad, SubHask |
| withCategory | SubHask.Category, SubHask |
| WithPreludeOrd | |
| 1 (Type/Class) | SubHask.Algebra.Ord |
| 2 (Data Constructor) | SubHask.Algebra.Ord |
| write | SubHask.Mutable, SubHask.Algebra, SubHask |
| writePrimRef | SubHask.Mutable, SubHask.Algebra, SubHask |
| xLabeled' | SubHask.Algebra, SubHask |
| yLabeled' | SubHask.Algebra, SubHask |
| Z | SubHask.Algebra.Group |
| zero | SubHask.Algebra, SubHask |
| ZIndex | SubHask.Category.Finite |
| zipWithM | SubHask.Monad, SubHask |
| zipWithM_ | SubHask.Monad, SubHask |
| ^ | |
| 1 (Type/Class) | SubHask |
| 2 (Function) | SubHask.Algebra, SubHask |
| ^^ | SubHask.Algebra, SubHask |
| || | SubHask.Algebra, SubHask |