Idris2Doc : CatenableDeque

CatenableDeque

(source)
Reexports
import public Deque
Definitions
interface CatenableDeque : (Type -> Type) -> Type
  Parameters: d
Constraints: Deque d
Methods:
  
(++) : d a -> d a -> d a
  Fixity Declaration: infixr operator, level 7
(++) : CatenableDeque d => d a -> d a -> d a
  Totality: total
  Visibility: public export
  Fixity Declaration: infixr operator, level 7