uncode💩

unko_builder.fs

type NextChar   = NextChar
type NextWidth  = NextWidth  of char 
type NextHeight = NextHeight of char * int 
type EndUnnko   = EndUnnko   of char * int * int   
type UnnkoBuilder () = 
    member _.Yield(_: unit) = NextChar
    member _.Run(EndUnnko (char, w, h): EndUnnko) =  
        let nChars n c = c |> Array.replicate n |> System.String
        printfn "%s∫ ∫ ∫ "  <| nChars h ' '
        printfn "%sノヽ " <|  nChars h ' '
        for i in 1..h-1 do
            printfn "%s(__%s)" ( nChars (h-i) ' ') ( nChars (i*w) char)
        printfn "%s(__%s)\n" ( nChars 0 ' ') ( nChars (h*w) '_')  
    [<CustomOperation("char")>]
    member _.MethodChar(_: NextChar, c) = NextWidth c
    [<CustomOperation("width")>]
    member _.MethodWidth(NextWidth c: NextWidth, w) = NextHeight (c,w)
    [<CustomOperation("height")>]
    member _.MethodHeight(NextHeight (c,w): NextHeight, h) = EndUnnko (c, w, h) 

let unnko = UnnkoBuilder()    
   
unnko { char ' '; width 2; height 3 }
unnko { char '.'; width 2; height 4 }
unnko { char '.'; width 3; height 6 }

(*
   ∫ ∫ ∫
   ノヽ
  (__  )
 (__    )
(________)

    ∫ ∫ ∫
    ノヽ
   (__..)
  (__....)
 (__......)
(__________)

      ∫ ∫ ∫
      ノヽ
     (__...)
    (__......)
   (__.........)
  (__............)
 (__...............)
(____________________)

*)