Documentation

thing :: Loop' Int Int Source #

collatz :: Int -> [Int] Source #

factorial :: Int -> Product Int Source #

accum :: forall p next state. (Monoid state, Strong p, Cochoice p) => (next -> Maybe (next, state)) -> Optic p next state next next Source #

while :: (Monoid state, Strong p, Cochoice p) => (t -> Bool) -> (t -> state) -> Optic p t state t t Source #