Fintype instances for WithTop α and WithBot α

@[instance_reducible]

instance instFintypeWithTop {α : Type u_1} [Fintype α] : Fintype (WithTop α)

Equations

• instFintypeWithTop = instFintypeOption

instance instFiniteWithTop {α : Type u_1} [Finite α] : Finite (WithTop α)

@[instance_reducible]

instance instFintypeWithBot {α : Type u_1} [Fintype α] : Fintype (WithBot α)

Equations

• instFintypeWithBot = instFintypeOption

instance instFiniteWithBot {α : Type u_1} [Finite α] : Finite (WithBot α)