Data.Diverse.Emit

Documentation

class Emit e xs r where

Emit can generate a value, and is differentiated with an additional xs typelist

Minimal complete definition

emit

Methods

emit :: e xs r -> r

Instances

Case c ((:) Type x xs) r => Emit Type (Via * c) ((:) Type x xs) r

Methods

emit :: (Type ': x) xs r r -> r

Case (c n) ((:) Type x xs) r => Emit Type (ViaN * c n) ((:) Type x xs) r

Methods

emit :: (Type ': x) xs r r -> r