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.
contactSteps :: [MultiParticleState] -> IntLPFP-core LPFPCore.MOExamples No documentation available.
-
LPFP-core LPFPCore.Maxwell No documentation available.
-
LPFP-core LPFPCore.Mechanics1D No documentation available.
-
ghc-lib GHC No documentation available.
-
ghc-lib GHC No documentation available.
-
ghc-lib GHC No documentation available.
execSingleStep :: ExecOptions -> SingleStepghc-lib GHC stepping mode
NS_Step :: RecTcChecker -> Type -> ev -> NormaliseStepResult evghc-lib GHC.Plugins We stepped, yielding new bits; ^ ev is evidence; Usually a co :: old type ~ new type
-
ghc-lib GHC.Plugins The result of stepping in a normalisation function. See topNormaliseTypeX.
type
NormaliseStepper ev = RecTcChecker -> TyCon -> [Type] -> NormaliseStepResult evghc-lib GHC.Plugins A function to check if we can reduce a type by one step. Used with topNormaliseTypeX.