edgerunner

SWR&
  Data
    success -> Fresh
    None
    Some
      Fresh
        after stale -> Stale
      Stale
  Transfer
    after stale -> Pending

edgerunner

Inflector TR
  a -> B Unrounded
  e -> F Unrounded
  ı -> B Unrounded
  i -> F Unrounded
  o -> B Rounded
  ö -> F Unrounded
  u -> B Rounded
  ü -> F Unrounded
  Nothing

edgerunner

Cow &
  Tracking
    Untracked
      first-session-started -> Pending
    Pending
      session-activated -> Tracked
    Tracked&
      Temperature
        Normal
          fever-detected -> Fever

edgerunner

  // Available variables:
  // - Machine
  // - interpret
  // - assign
  // - send
  // - sendParent
  // - spawn
  // - raise
  // - actions

edgerunner

edgerunner

Wicow Login
  Request form
    type -> Incomplete
    Blank
    Incomplete
      valid? -> Complete
    Complete
      request link -> Requesting
    Errors
      request link -> Requesting

edgerunner

# do not show
SensorBadge
  Idle
  Assigned
  Active &
    Data
      Pending
      Stable
      Unstable
    

edgerunner

SmartMessage for calving-completed &
  Calves
    set calves to 1 -> 1 calf
    set calves to 2 -> 2 calves
    set calves to 3 -> 3 calves
    1 calf*
    2 calves
      set both -> Both
      set one-another -> One - another
      Both

edgerunner

SmartTime keyboard 3

  # entering the first digit of the hour
  digit-1
    # assume 00:00
    ENTER -> complete

    # first digit can be 0,1 or 2
    KEY 0-1 -> digit-2
    # 2 is the special case because it can only continue with 0-3

edgerunner

speller :: [[Char]] -> [Char]
speller list =
  spell (filter ((/=) "") list)

spell :: [[Char]] -> [Char]
spell [] = []
spell [single] = 
  isFor single
spell [first, second] = 
  isFor first ++ " and " ++ isFor second