def DateTime.at

bend-kit-time@0.3.0.0 · time.bend:280

import bend-kit-time@0.3.0.0/time.bend as Time

import Base

280def DateTime.at(m: Maybe<&2, Date>, +sod: U32, n: U32) -> Maybe<&2, DateTime>:
281  match m:
282    case None{}:
283      None{}
284    case Some{d}:
285      Some{DateTime{d, (sod / 3600 : U32), (sod / 60 % 60 : U32), (sod % 60 : U32), n}}

Uses (6)

Used by (1)

bend-kit-time@0.3.0.0/time:DateTime.floor