Documentation

Aesop.RulePattern.Cache

source
def Aesop.RulePatternCache.Entry :
Type

Entry of the rule pattern cache.

Instances For
    source
    structure Aesop.RulePatternCache :
    Type

    A cache for the rule pattern index.

    Instances For
      source
      def Aesop.instInhabitedRulePatternCache.default :
      RulePatternCache
      Instances For
        source
        @[implicit_reducible]
        instance Aesop.instInhabitedRulePatternCache :
        Inhabited RulePatternCache
        source
        @[implicit_reducible]
        instance Aesop.instEmptyCollectionRulePatternCache :
        EmptyCollection RulePatternCache