dzen-dhall-1.0.0: dhall/utils/mkMarquee.dhall
let Marquee = ../types/Marquee.dhall
let mkMarquee
: Natural → Natural → Bool → Marquee
= λ(framesPerCharacter : Natural)
→ λ(width : Natural)
→ λ(shouldWrap : Bool)
→ { framesPerCharacter =
framesPerCharacter
, width =
width
, shouldWrap =
shouldWrap
}
in mkMarquee