0 | module Stellar.Ops 1 | 2 | export typebind infixr 0 !> -- Constructor for containers 3 | 4 | export infixr 0 <! -- Constructor for container morphisms 5 | export infixl 3 &> -- Existential composition 6 | export infixl 3 #> -- Universal composition 7 | export infix 0 :- -- Non-dependent containers 8 | export infixr 2 $- -- Lifting, or applying a functor to an API 9 | export infixr 1 =%> -- Container morphism 10 | export infixr 1 =&> -- Container morphism 11 | export infixr 7 // -- Tensor 12 | 13 | export infixr 1 |%> -- Container morphism composition 14 | export infixr 1 |&> -- Container morphism composition 15 | 16 | export prefix 9 !! 17 |