OStream

Definitions

data StreamCell : Type -> Type

Totality: total
Visibility: public export
Constructors:

Nil : StreamCell a

(::) : a -> OStream a -> StreamCell a

OStream : Type -> Type

Totality: total
Visibility: public export

append : OStream a -> OStream a -> OStream a

Totality: total
Visibility: export

(++) : OStream a -> OStream a -> OStream a

Totality: total
Visibility: export
Fixity Declaration: infixr operator, level 7

take : Int -> OStream a -> OStream a

Totality: total
Visibility: export

drop : Int -> OStream a -> OStream a

Totality: total
Visibility: export

reverse : OStream a -> OStream a

Totality: total
Visibility: export