Documentation

Aesop.Rule.Basic

structure Aesop.Rule (α : Type) :
Instances For
    instance Aesop.instInhabitedRule {a✝ : Type} [Inhabited a✝] :
    Equations
      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
                    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