Proton.Feedback
type Feedback s t a b = forall p. Costrong p => p a b -> p s t Source #
type Feedback' s a = Feedback s s a a Source #
feedback :: forall p s t a b. Costrong p => ((s, b) -> a) -> (b -> (t, b)) -> Optic p s t a b Source #
fib :: Feedback Int [Int] [Int] [Int] Source #