Documentation

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 #