Documentation

Aesop.Rule.Basic

structure Aesop.Rule (α : Type) :
Instances For
    Equations
    Instances For
      instance Aesop.Rule.instBEq {α : Type} :
      BEq (Rule α)
      Equations
      instance Aesop.Rule.instOrd {α : Type} :
      Ord (Rule α)
      Equations
      Equations
      def Aesop.Rule.compareByPriority {α : Type} [Ord α] (r s : Rule α) :
      Equations
      Instances For
        Equations
        Instances For
          @[inline]
          def Aesop.Rule.map {α β : Type} (f : αβ) (r : Rule α) :
          Rule β
          Equations
          Instances For
            @[inline]
            def Aesop.Rule.mapM {m : TypeType u_1} {α β : Type} [Monad m] (f : αm β) (r : Rule α) :
            m (Rule β)
            Equations
            Instances For