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.

  1. inductionStep :: CounterExample -> Bool

    copilot-theorem Copilot.Theorem.What4

    Whether the induction step of the proof was valid or not. That is, given an arbitrary time step n, if the property is assumed to hold at time steps n, n+1, ..., n+k, then this will be True is the property can the be proven to hold at time step n+k+1 (and False otherwise). If this is False, then the overall proof will be InvalidCex.

  2. _stepLimit :: ForceLayoutOpts n -> Maybe Int

    force-layout Physics.ForceLayout

    Maximum number of simulation steps. If Nothing, pay no attention to the number of steps. The default is Just 1000.

  3. ensembleStep :: forall (v :: Type -> Type) n . (Additive v, Num n) => n -> Ensemble v n -> Ensemble v n

    force-layout Physics.ForceLayout

    Simulate one time step for an entire ensemble, with the given damping factor.

  4. particleStep :: forall (v :: Type -> Type) n . (Additive v, Num n) => n -> Particle v n -> Particle v n

    force-layout Physics.ForceLayout

    Simulate one time step for a particle (assuming the force acting on it has already been computed), with the given damping factor.

  5. data JobStep

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

  6. JobStep :: !Name JobStep -> Text -> Text -> Integer -> UTCTime -> UTCTime -> JobStep

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

  7. jobStepCompletedAt :: JobStep -> !UTCTime

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

  8. jobStepConclusion :: JobStep -> !Text

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

  9. jobStepName :: JobStep -> !Name JobStep

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

  10. jobStepNumber :: JobStep -> !Integer

    github GitHub.Data.Actions.WorkflowJobs

    No documentation available.

Page 79 of many | Previous | Next