Copilot.Language

Main Copilot language export file.

Documentation

module Data.Int

module Data.Word

module Copilot.Core

impossible :: String -> String -> a

badUsage :: String -> a

csv :: Integer -> Spec -> IO ()

interpret :: Integer -> Spec -> IO ()

Much slower, but pretty-printed interpreter output.

module Copilot.Language.Operators.Boolean

module Copilot.Language.Operators.Cast

module Copilot.Language.Operators.Constant

module Copilot.Language.Operators.Eq

module Copilot.Language.Operators.Extern

module Copilot.Language.Operators.Local

module Copilot.Language.Operators.Label

module Copilot.Language.Operators.Integral

module Copilot.Language.Operators.Mux

module Copilot.Language.Operators.Ord

module Copilot.Language.Operators.Temporal

module Copilot.Language.Operators.BitWise

module Copilot.Language.Prelude

type Spec = Writer [SpecItem] ()

data Stream :: * -> *

Instances

Eq (Stream a)

Dummy instance in order to make Stream an instance of Num.

Methods

(==) :: Stream a -> Stream a -> Bool

(/=) :: Stream a -> Stream a -> Bool

(Typed a, Eq a, Floating a) => Floating (Stream a)

Methods

pi :: Stream a

exp :: Stream a -> Stream a

log :: Stream a -> Stream a

sqrt :: Stream a -> Stream a

(**) :: Stream a -> Stream a -> Stream a

logBase :: Stream a -> Stream a -> Stream a

sin :: Stream a -> Stream a

cos :: Stream a -> Stream a

tan :: Stream a -> Stream a

asin :: Stream a -> Stream a

acos :: Stream a -> Stream a

atan :: Stream a -> Stream a

sinh :: Stream a -> Stream a

cosh :: Stream a -> Stream a

tanh :: Stream a -> Stream a

asinh :: Stream a -> Stream a

acosh :: Stream a -> Stream a

atanh :: Stream a -> Stream a

log1p :: Stream a -> Stream a

expm1 :: Stream a -> Stream a

log1pexp :: Stream a -> Stream a

log1mexp :: Stream a -> Stream a

(Typed a, Eq a, Fractional a) => Fractional (Stream a)

Methods

(/) :: Stream a -> Stream a -> Stream a

recip :: Stream a -> Stream a

fromRational :: Rational -> Stream a

(Typed a, Eq a, Num a) => Num (Stream a)

Methods

(+) :: Stream a -> Stream a -> Stream a

(-) :: Stream a -> Stream a -> Stream a

(*) :: Stream a -> Stream a -> Stream a

negate :: Stream a -> Stream a

abs :: Stream a -> Stream a

signum :: Stream a -> Stream a

fromInteger :: Integer -> Stream a

Show (Stream a)

Dummy instance in order to make Stream an instance of Num.

Methods

showsPrec :: Int -> Stream a -> ShowS

show :: Stream a -> String

showList :: [Stream a] -> ShowS

observer :: Typed a => String -> Stream a -> Spec

trigger :: String -> Stream Bool -> [Arg] -> Spec

arg :: Typed a => Stream a -> Arg

prop :: String -> Prop a -> Writer [SpecItem] (PropRef a)

theorem :: String -> Prop a -> Proof a -> Writer [SpecItem] (PropRef a)

forall :: Stream Bool -> Prop Universal

exists :: Stream Bool -> Prop Existential

prettyPrint :: Spec -> IO ()