Idris2Doc : Syntax.E1

Syntax.E1

(source)
Reexports
import public Data.Linear.ELift1
Definitions
map1 : (a -> b) -> E1 s es a -> E1 s es b
  Totality: total
  Visibility: export
(<$>) : (a -> b) -> E1 s es a -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixr operator, level 4
(<&>) : E1 s es a -> (a -> b) -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 1
ignore1 : E1 s es a -> E1' s es
  Totality: total
  Visibility: export
pure : a -> E1 s es a
  Totality: total
  Visibility: export
(>>=) : E1 s es a -> (a -> E1 s es b) -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 1
(>>) : E1' s es -> E1 s es b -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 1
(<*) : E1 s es b -> E1' s es -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 3
(<*>) : E1 s es (a -> b) -> E1 s es a -> E1 s es b
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 3