all repos — min @ 534b0bbbc48d78ec3c3b91ac5eae29287d9c300b

A small but practical concatenative programming language.

lib/min_time.nim

 1
 2
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
import 
  times, 
  tables
import 
  ../core/parser, 
  ../core/value, 
  ../core/interpreter, 
  ../core/utils

# Time


proc time_module*(i: In)=
  let def = i.define()
  
  def.symbol("timestamp") do (i: In):
    i.push getTime().int.newVal
  
  def.symbol("now") do (i: In):
    i.push epochTime().newVal
  
  def.symbol("timeinfo") do (i: In):
    let vals = i.expect("num")
    let t = vals[0]
    var time: Time
    if t.kind == minInt:
      time = t.intVal.fromSeconds
    else:
      time = t.floatVal.fromSeconds
    let tinfo = time.getLocalTime
    var info = newSeq[MinValue](0).newVal(i.scope)
    info.qVal.add @["year".newVal, tinfo.year.newVal].newVal(i.scope)
    info.qVal.add @["month".newVal, (tinfo.month.int+1).newVal].newVal(i.scope)
    info.qVal.add @["day".newVal, tinfo.monthday.newVal].newVal(i.scope)
    info.qVal.add @["weekday".newVal, (tinfo.weekday.int+1).newVal].newVal(i.scope)
    info.qVal.add @["yearday".newVal, tinfo.yearday.newVal].newVal(i.scope)
    info.qVal.add @["hour".newVal, tinfo.hour.newVal].newVal(i.scope)
    info.qVal.add @["minute".newVal, tinfo.minute.newVal].newVal(i.scope)
    info.qVal.add @["second".newVal, tinfo.second.newVal].newVal(i.scope)
    info.qVal.add @["dst".newVal, tinfo.isDST.newVal].newVal(i.scope)
    info.qVal.add @["timezone".newVal, tinfo.timezone.newVal].newVal(i.scope)
    i.push info

  def.symbol("to-timestamp") do (i: In):
    let vals = i.expect("dict")
    let dict = vals[0]
    try:
      let year = dict.dget("year".newVal).intVal.int
      let month = dict.dget("month".newVal).intVal.int - 1
      let monthday = dict.dget("day".newVal).intVal.int
      let hour = dict.dget("hour".newVal).intVal.int
      let minute = dict.dget("minute".newVal).intVal.int
      let second = dict.dget("second".newVal).intVal.int
      let dst = dict.dget("dst".newVal).boolVal
      let timezone = dict.dget("timezone".newVal).intVal.int
      let tinfo = TimeInfo(year: year, month: Month(month), monthday: monthday, hour: hour, minute: minute, second: second, isDST: dst, timezone: timezone)
      i.push tinfo.toTime.toSeconds.int.newVal
    except:
      raiseInvalid("An invalid timeinfo dictionary was provided.")

  def.symbol("datetime") do (i: In):
    let vals = i.expect("num")
    let t = vals[0]
    var time: Time
    if t.kind == minInt:
      time = t.intVal.fromSeconds
    else:
      time = t.floatVal.fromSeconds
    i.push time.getGMTime.format("yyyy-MM-dd'T'HH:mm:ss'Z'").newVal

  def.symbol("tformat") do (i: In):
    let vals = i.expect("string", "num")
    let s = vals[0]
    let t = vals[1]
    var time: Time
    if t.kind == minInt:
      time = t.intVal.fromSeconds
    else:
      time = t.floatVal.fromSeconds
    i.push time.getLocalTime.format(s.getString).newVal
  
  def.finalize("time")