Safe Haskell	Safe-Inferred
Language	GHC2021

Next.Interface.Class

Contents

Synopsis

class TerminableStream item interface | interface -> item where
- liftNext :: Next item result -> interface result
next :: TerminableStream item interface => interface (Step item)

Class

class TerminableStream item interface | interface -> item where Source #

An interface for which Next is one of possibly many supported requests

Methods

liftNext :: Next item result -> interface result Source #

Lift a Next request into a larger interface

Instances details

TerminableStream item (Next item) Source #
Instance details Defined in Next.Interface.Class Methods liftNext :: Next item result -> Next item result Source #

Utilities

next :: TerminableStream item interface => interface (Step item) Source #

Like Next, but polymorphic