Idris2Doc : Data.Setoid

Data.Setoid

A setoid is a type equipped with an equivalence relation

Reexports

import public Data.Setoid.Definition
import public Data.Setoid.Either
import public Data.Setoid.Pair
import public Data.Setoid.Vect
import public Data.Setoid.List
import public Syntax.PreorderReasoning.Setoid