Documentation

Init.Data.Range.Polymorphic.Stream

source
instance Std.PRange.instToStreamRccIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] :
ToStream (Rcc α) (Iter α)
Equations
    source
    instance Std.PRange.instToStreamRcoIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] :
    ToStream (Rco α) (Iter α)
    Equations
      source
      instance Std.PRange.instToStreamRciIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] :
      ToStream (Rci α) (Iter α)
      Equations
        source
        instance Std.PRange.instToStreamRocIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] :
        ToStream (Roc α) (Iter α)
        Equations
          source
          instance Std.PRange.instToStreamRooIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] :
          ToStream (Roo α) (Iter α)
          Equations
            source
            instance Std.PRange.instToStreamRoiIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] :
            ToStream (Roi α) (Iter α)
            Equations
              source
              instance Std.PRange.instToStreamRicIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] :
              ToStream (Ric α) (Iter α)
              Equations
                source
                instance Std.PRange.instToStreamRioIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] :
                ToStream (Rio α) (Iter α)
                Equations
                  source
                  instance Std.PRange.instToStreamRiiIterIteratorOfUpwardEnumerableOfLeast? {α : Type} [UpwardEnumerable α] [Least? α] :
                  ToStream (Rii α) (Iter α)
                  Equations