🥮 mooncakes.io
    Sign in

    lazy

    a lazy library support recursion

    lazy
    lazy recursion
    Download zip
    Version
    0.1.4
    License
    Apache-2.0
    Repository
    Last updated
    12 months ago
    Downloads
    47

    #illusory0x0/lazy

    a lazy library support recursion

    #Example

    #component

    #extensible parser

    This example refer to zhihu blogs 愿你走出半生，归来仍是 Java Parser - 圆角骑士魔理沙的文章 - 知乎

    Haskell implementation MarisaKirisame/extensible-parser

    Haskell2010 implementation illusory0x0/extensible-parser

    Moonbit implementation illusory0x0/extensible-parser.mbt

    #even/odd

    Haskell implementation gist

    #Recommaned Reading

    lazy pattern match strict pattern match

    #lazylist/fibs

    Haskell implementation fibs

    lazy is not recommaned used for this example, lazy is call by need is suitable for some lazy values won't actually be used

    GHC is implemented by Graph Reduction, G-machine never Stack Overflow, Moonbit hasn't this runtime support, So implement fibs use zipWith efficiently is impossible.

    fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

    Lazy

    source
    type Lazy[A]

    impl Show for Lazy[A]

    Lazy::bind

    source
    fn[A, B] Lazy::bind(self : Lazy[A], f : (A) -> Lazy[B]) -> Lazy[B]

    Lazy::fix

    source
    fn[A] Lazy::fix(f : (Lazy[A]) -> Lazy[A]) -> Lazy[A]

    Lazy::force

    source
    fn[A] Lazy::force(self : Lazy[A]) -> A

    Lazy::join

    source
    fn[A] Lazy::join(self : Lazy[Lazy[A]]) -> Lazy[A]

    Lazy::map

    source
    fn[A, B] Lazy::map(self : Lazy[A], f : (A) -> B) -> Lazy[B]

    Lazy::new

    source
    fn[A] Lazy::new(fun : () -> A) -> Lazy[A]

    LazyBuilder

    source
    type LazyBuilder[A]

    LazyBuilder::inherit_

    source
    fn[A, B] LazyBuilder::inherit_(self : LazyBuilder[A], f : (A) -> B, g : (B) -> A) -> LazyBuilder[B]

    LazyBuilder::map

    source
    fn[A] LazyBuilder::map(self : LazyBuilder[A], f : (A) -> A) -> LazyBuilder[A]

    LazyBuilder::new

    source
    fn[A] LazyBuilder::new(f : (Lazy[A]) -> A) -> LazyBuilder[A]

    LazyBuilder::run

    source
    fn[A] LazyBuilder::run(self : LazyBuilder[A]) -> Lazy[A]

    LazyBuilder::run_force

    source
    fn[A] LazyBuilder::run_force(self : LazyBuilder[A]) -> A

    LazyRec

    source
    type LazyRec[A]

    impl Show for LazyRec[T]

    LazyRec::force

    source
    fn[A] LazyRec::force(self : LazyRec[A]) -> A

    LazyRec::get

    source
    fn[A, B] LazyRec::get(self : LazyRec[A], f : (A) -> B) -> B

    LazyRec::modify

    source
    fn[A] LazyRec::modify(self : LazyRec[A], f : (A) -> A) -> Unit

    LazyRec::new

    source
    fn[A] LazyRec::new(f : (Lazy[A]) -> A) -> LazyRec[A]

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io