Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. eqLHS :: UnifyState -> [Arg Term]

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   Ends up in dot patterns (should not be reduced eagerly).

2. eqRHS :: UnifyState -> [Arg Term]

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   Ends up in dot patterns (should not be reduced eagerly).

3. eqTel :: UnifyState -> Telescope

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   Can be reduced eagerly.

4. eqUnLevel :: (HasBuiltins m, HasOptions m) => Equality -> m Equality

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   No documentation available.

5. equity :: BalanceSheetReport -> BookItem

   Hastructure	Types

   No documentation available.

6. eqMantissa# :: Mantissa# -> Mantissa# -> Int#

   Mantissa	Numeric.Mantissa.Unboxed

   No documentation available.

7. equals :: Doc a

   annotated-wl-pprint	Text.PrettyPrint.Annotated.Leijen

   The document equals contains an equal sign, "=".

8. equatorialToEcliptic :: EquatorialCoordinates1 -> JulianDate -> EclipticCoordinates

   astro	Data.Astro.Coordinate

   Converts Equatorial Coordinates to Ecliptic Coordinates on specified Julian Date

9. equatorialToGalactic :: EquatorialCoordinates1 -> GalacticCoordinates

   astro	Data.Astro.Coordinate

   Convert Equatorial Coordinates to Galactic Coordinates

10. equatorialToHorizon :: DecimalDegrees -> EquatorialCoordinates2 -> HorizonCoordinates

    astro	Data.Astro.Coordinate

    Convert Equatorial Coordinates to Horizon Coordinates. It takes a latitude of the observer and EquatorialCoordinates2. If you need to convert EquatorialCoordinates1 you may use raToHa function to obtain EquatorialCoordinates2 or just use function-shortcut ec1ToHC straightaway. The functions returns HorizonCoordinates.

Page 122 of many | Previous | Next