Documentation

type (|>) (a :: [k]) (b :: k) = a ++ '[b] infixl 6 Source #

type HigherOrder r r' = Members r' (r ++ r') Source #

with :: Sem r a -> (a -> InterpreterFor eff r) -> InterpreterFor eff r Source #