Modulepolysemy-1.9.2.0

Polysemy.Input

Synopsis

valueinput :: Member (Input i) r => Sem r i

valueinputs :: Member (Input i) r => (i -> j) -> Sem r j

valuerunInputConst :: i -> Sem (Input i ': r) a -> Sem r a

valuerunInputList :: [i] -> Sem (Input (Maybe i) ': r) a -> Sem r a

valuerunInputSem :: Sem r i -> Sem (Input i ': r) a -> Sem r a

datadata Input (i :: k) (m :: k1) (a :: k) where