Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
pattern
SortSetOmega :: BuiltinSortAgda Agda.TypeChecking.Monad.Base No documentation available.
pattern
SortStrictSet :: BuiltinSortAgda Agda.TypeChecking.Monad.Base No documentation available.
pattern
SortStrictSetOmega :: BuiltinSortAgda Agda.TypeChecking.Monad.Base No documentation available.
SortUniv :: Univ -> BuiltinSortAgda Agda.TypeChecking.Monad.Base No documentation available.
-
Agda Agda.TypeChecking.Monad.Builtin Sort primitives.
SortKit :: (UnivSize -> Univ -> QName) -> (QName -> Maybe (UnivSize, Univ)) -> SortKitAgda Agda.TypeChecking.Monad.Builtin No documentation available.
-
bloodhound Database.Bloodhound.Common.Types No documentation available.
-
bloodhound Database.Bloodhound.Common.Types No documentation available.
-
bloodhound Database.Bloodhound.Common.Types No documentation available.
-
bloodhound Database.Bloodhound.Common.Types SortMode prescribes how to handle sorting array/multi-valued fields. http://www.elastic.co/guide/en/elasticsearch/reference/current/search-request-sort.html#_sort_mode_option