Idris2Doc : Syntax.T1

Syntax.T1

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