← Mathematical handbook

@[instance_reducible]

instance Std.PRange.instToStreamRccIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rcc α) (Iter α)

Equations

• Std.PRange.instToStreamRccIterIteratorOfUpwardEnumerable = { toStream := fun (r : Std.Rcc α) => Std.Rcc.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRcoIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rco α) (Iter α)

Equations

• Std.PRange.instToStreamRcoIterIteratorOfUpwardEnumerable = { toStream := fun (r : Std.Rco α) => Std.Rco.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRciIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rci α) (Iter α)

Equations

• Std.PRange.instToStreamRciIterIteratorOfUpwardEnumerable = { toStream := fun (r : Std.Rci α) => Std.Rci.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRocIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Roc α) (Iter α)

Equations

• Std.PRange.instToStreamRocIterIteratorOfUpwardEnumerable = { toStream := fun (r : Std.Roc α) => Std.Roc.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRooIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Roo α) (Iter α)

Equations

• Std.PRange.instToStreamRooIterIteratorOfUpwardEnumerable = { toStream := fun (r : Std.Roo α) => Std.Roo.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRoiIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Roi α) (Iter α)

Equations

• Std.PRange.instToStreamRoiIterIteratorOfUpwardEnumerableOfLeast? = { toStream := fun (r : Std.Roi α) => Std.Roi.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRicIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Ric α) (Iter α)

Equations

• Std.PRange.instToStreamRicIterIteratorOfUpwardEnumerableOfLeast? = { toStream := fun (r : Std.Ric α) => Std.Ric.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRioIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Rio α) (Iter α)

Equations

• Std.PRange.instToStreamRioIterIteratorOfUpwardEnumerableOfLeast? = { toStream := fun (r : Std.Rio α) => Std.Rio.Internal.iter r }

@[instance_reducible]

instance Std.PRange.instToStreamRiiIterIteratorOfUpwardEnumerableOfLeast? {α : Type} [UpwardEnumerable α] [Least? α] : ToStream (Rii α) (Iter α)

Equations

• Std.PRange.instToStreamRiiIterIteratorOfUpwardEnumerableOfLeast? = { toStream := fun (r : Std.Rii α) => Std.Rii.Internal.iter r }