Safe Haskell	Safe
Language	Haskell2010

Copilot.Language.Stream

Description

Abstract syntax for streams and operators.

Documentation

data Stream :: * -> * where Source #

Constructors

Append :: Typed a => [a] -> Maybe (Stream Bool) -> Stream a -> Stream a
Const :: Typed a => a -> Stream a
Drop :: Typed a => Int -> Stream a -> Stream a
Extern :: Typed a => String -> Maybe [a] -> Stream a
Local :: (Typed a, Typed b) => Stream a -> (Stream a -> Stream b) -> Stream b
Var :: Typed a => String -> Stream a
Op1 :: (Typed a, Typed b) => Op1 a b -> Stream a -> Stream b
Op2 :: (Typed a, Typed b, Typed c) => Op2 a b c -> Stream a -> Stream b -> Stream c
Op3 :: (Typed a, Typed b, Typed c, Typed d) => Op3 a b c d -> Stream a -> Stream b -> Stream c -> Stream d
Label :: Typed a => String -> Stream a -> Stream a

Instances

Eq (Stream a) Source #	Dummy instance in order to make `Stream` an instance of `Num`.
Instance details Defined in Copilot.Language.Stream Methods (==) :: Stream a -> Stream a -> Bool # (/=) :: Stream a -> Stream a -> Bool #
(Typed a, Eq a, Floating a) => Floating (Stream a) Source #
Instance details Defined in Copilot.Language.Stream 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) Source #
Instance details Defined in Copilot.Language.Stream 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) Source #
Instance details Defined in Copilot.Language.Stream 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) Source #	Dummy instance in order to make `Stream` an instance of `Num`.
Instance details Defined in Copilot.Language.Stream Methods showsPrec :: Int -> Stream a -> ShowS # show :: Stream a -> String # showList :: [Stream a] -> ShowS #
(Typed a, Bits a) => Bits (Stream a) Source #
Instance details Defined in Copilot.Language.Operators.BitWise Methods (.&.) :: Stream a -> Stream a -> Stream a # (.\|.) :: Stream a -> Stream a -> Stream a # xor :: Stream a -> Stream a -> Stream a # complement :: Stream a -> Stream a # shift :: Stream a -> Int -> Stream a # rotate :: Stream a -> Int -> Stream a # zeroBits :: Stream a # bit :: Int -> Stream a # setBit :: Stream a -> Int -> Stream a # clearBit :: Stream a -> Int -> Stream a # complementBit :: Stream a -> Int -> Stream a # testBit :: Stream a -> Int -> Bool # bitSizeMaybe :: Stream a -> Maybe Int # bitSize :: Stream a -> Int # isSigned :: Stream a -> Bool # shiftL :: Stream a -> Int -> Stream a # unsafeShiftL :: Stream a -> Int -> Stream a # shiftR :: Stream a -> Int -> Stream a # unsafeShiftR :: Stream a -> Int -> Stream a # rotateL :: Stream a -> Int -> Stream a # rotateR :: Stream a -> Int -> Stream a # popCount :: Stream a -> Int #

data Arg where Source #

Constructors

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

data StructArg Source #

Constructors

StructArg
Fields name_ :: String arg' :: Arg