abstractor

Documentation

Overview

This file contains the public API for using the extractor. The Call functions are used to call gadgets and get their returnd object. These methods are prepared for doing automated casting from interface{}. Alternatively it's possible to do manual casting by calling abstractor.Call() and casting the result to the needed type.

Index

• func Call(api frontend.API, gadget GadgetDefinition) frontend.Variable
• func Call1(api frontend.API, gadget GadgetDefinition) []frontend.Variable
• func Call2(api frontend.API, gadget GadgetDefinition) [][]frontend.Variable
• func Call3(api frontend.API, gadget GadgetDefinition) [][][]frontend.Variable
• func CallVoid(api frontend.API, gadget GadgetDefinition)
• type API
• type Gadget
• type GadgetDefinition

Functions

func Call

func Call(api frontend.API, gadget GadgetDefinition) frontend.Variable

Call is used to call a Gadget which returns frontend.Variable (i.e. a single element `F` in Lean)

func Call1

func Call1(api frontend.API, gadget GadgetDefinition) []frontend.Variable

Call1 is used to call a Gadget which returns []frontend.Variable (i.e. `Vector F d` in Lean)

func Call2

func Call2(api frontend.API, gadget GadgetDefinition) [][]frontend.Variable

Call2 is used to call a Gadget which returns a [][]frontend.Variable (i.e. `Vector (Vector F a) b` in Lean)

func Call3

func Call3(api frontend.API, gadget GadgetDefinition) [][][]frontend.Variable

Call3 is used to call a Gadget which returns a [][][]frontend.Variable (i.e. `Vector (Vector (Vector F a) b) c` in Lean)

func CallVoid

func CallVoid(api frontend.API, gadget GadgetDefinition)

CallVoid is used to call a Gadget which doesn't return anything

Types

type API

type API interface {
	Call(gadget GadgetDefinition) interface{}
}

type Gadget

type Gadget interface {
	Call(gadget GadgetDefinition) interface{}
}

type GadgetDefinition

type GadgetDefinition interface {
	DefineGadget(api frontend.API) interface{}
}