Inferno supports two types of comments, // for single-line comments and /* ... */ for multi-line comments.
Numeric Literals
Inferno supports both integer and floating-point literals. The type of the literal is inferred by the context in which it appears.
This document provides an overview of Inferno, a new hybrid scripting language based on languages like OCaml and Haskell. The language is highly restricted and is designed to allow developers to write code that can be evaluated to produce expected results.
The language supports a variety of expressions that can be used to build complex programs. Here is an example of an expression:
Array.sum (Array.keepSomes [Some 3.0, None, Some 4.0])
This document provides an overview of Inferno, a new hybrid scripting language based on languages like OCaml and Haskell. The language is highly restricted and is designed to allow developers to write code that can be evaluated to produce expected results.
The language supports a variety of expressions that can be used to build complex programs. Here is an example of an expression:
Array.sum (Array.keepSomes [Some 3.0, None, Some 4.0])
| ------------------------------ MODULE Project ------------------------------ | |
| EXTENDS Naturals, Sequences | |
| VARIABLES devs, projects, time | |
| vars == << devs, projects, time >> | |
| ProductName =={"PA", "PB", "PC","PD"} | |
| DevName == {"J","B"} |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE NoStarIsType #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE ConstraintKinds #-} | |
| {-# LANGUAGE DataKinds #-} |
| { | |
| "swagger": "2.0", | |
| "info": { | |
| "version": "1.0", | |
| "title": "Mock Kiosk Server API", | |
| "license": { | |
| "name": "Private License" | |
| }, | |
| "description": "This is the mock kiosk server API. It is intended for client development use. All routes, unless otherwise specified, will be available in the production version." | |
| }, |
Operator:
[] Insure operator has SCADA host access to well
[] Insure operator gets alarm callouts via text/email via host
Operator:
[ ] Insure operator has SCADA host access to well
[ ] Insure operator gets alarm callouts via text/email via host
| {-# LANGUAGE BangPatterns #-} | |
| module Main (main) where | |
| import Bluetooth | |
| import Control.Monad.IO.Class | |
| import Control.Concurrent | |
| import Data.Bits (testBit) | |
| import Data.Word (Word16) | |
| import Data.List |
The Blink will start up when the charging cable is plugged in or the power button is held down for 2 seconds.
About 40 seconds from pusing this button, the orange and green lights will turn on and stay on for 5 seconds. Then they will turn off, if the device is not plugged into a meter, you will see the orange light start blinking.
If it is plugged into a meter, then the orange light will come on steady until the data is read. At this point the green light will turn on. These lights will stay on until you unplug the usb.