structure Aesop.Percent : Type

• toFloat : Float

instance Aesop.instInhabitedPercent : Inhabited Percent

def Aesop.Percent.ofFloat (f : Float) : Option Percent

instance Aesop.Percent.instMul : Mul Percent

@[inline]

def Aesop.Percent.δ : Percent

instance Aesop.Percent.instBEq : BEq Percent

instance Aesop.Percent.instOrd : Ord Percent

instance Aesop.Percent.instLT : LT Percent

instance Aesop.Percent.instLE : LE Percent

instance Aesop.Percent.instToString : ToString Percent

instance Aesop.Percent.instHPowNat : HPow Percent Nat Percent

def Aesop.Percent.hundred : Percent

def Aesop.Percent.fifty : Percent

def Aesop.Percent.toHumanString (p : Percent) : String

def Aesop.Percent.ofNat (n : Nat) : Option Percent