RandomAccessList

Definitions

interface RandomAccessList : (Type -> Type) -> Type

Parameters: r
Methods:

empty : r a

isEmpty : r a -> Bool

cons : a -> r a -> r a

head : r a -> a

tail : r a -> r a

lookup : Int -> r a -> a

update : Int -> a -> r a -> r a

empty : RandomAccessList r => r a

Totality: total
Visibility: public export

isEmpty : RandomAccessList r => r a -> Bool

Totality: total
Visibility: public export

cons : RandomAccessList r => a -> r a -> r a

Totality: total
Visibility: public export

head : RandomAccessList r => r a -> a

Totality: total
Visibility: public export

tail : RandomAccessList r => r a -> r a

Totality: total
Visibility: public export

lookup : RandomAccessList r => Int -> r a -> a

Totality: total
Visibility: public export

update : RandomAccessList r => Int -> a -> r a -> r a

Totality: total
Visibility: public export