Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. POLT :: PartialOrdering

   Agda	Agda.Utils.PartialOrd

   Less than.

2. class PartialOrd a

   Agda	Agda.Utils.PartialOrd

   Decidable partial orderings.

3. data PartialOrdering

   Agda	Agda.Utils.PartialOrd

   The result of comparing two things (of the same type).

4. newtype Pointwise a

   Agda	Agda.Utils.PartialOrd

   Pointwise comparison wrapper.

5. Pointwise :: a -> Pointwise a

   Agda	Agda.Utils.PartialOrd

   No documentation available.

6. module Agda.Utils.Permutation

   No documentation available.

7. Perm :: Int -> [Int] -> Permutation

   Agda	Agda.Utils.Permutation

   No documentation available.

8. data Permutation

   Agda	Agda.Utils.Permutation

   Partial permutations. Examples: permute [1,2,0] [x0,x1,x2] = [x1,x2,x0] (proper permutation). permute [1,0] [x0,x1,x2] = [x1,x0] (partial permuation). permute [1,0,1,2] [x0,x1,x2] = [x1,x0,x1,x2] (not a permutation because not invertible). Agda typing would be: Perm : {m : Nat}(n : Nat) -> Vec (Fin n) m -> Permutation m is the size of the permutation.

9. module Agda.Utils.ProfileOptions

   No documentation available.

10. data ProfileOption

    Agda	Agda.Utils.ProfileOptions

    Various things that can be measured when checking an Agda development. Turned on with the `--profile` flag, for instance `--profile=sharing` to turn on the Sharing option. Internal, Modules, and Definitions are mutually exclusive. NOTE: Changing this data type requires bumping the interface version number in currentInterfaceVersion.

Page 1151 of many | Previous | Next