Control.Monad.Loop.Internal

data LoopT m a

type Loop

loop

data Unroll n

type family UnTL n :: Nat

class Unrolling n

noUnroll

cons

continue

continue_

break_

exec_

iterate

forever

for

unfoldl

while