ADPfusion-0.6.0.0: Efficient, high-level dynamic programming.
ADP.Fusion.Unit.Term.Epsilon
Contents
Methods
mkStream :: Proxy pos -> (ls :!: Epsilon lg) -> Int# -> LimitType (Unit i) -> Unit i -> Stream m (Elm (ls :!: Epsilon lg) (Unit i)) Source #