Safe Haskell	Safe
Language	Haskell2010

Embedder.Atmo.Types

Synopsis

class TypeAnnotated a where
- typeOf :: a -> Maybe Ty
- tyAnn :: a -> Maybe Poly
- setTyAnn :: Maybe Poly -> a -> a
tupleTy :: Annote -> [Ty] -> Ty
arr :: Ty -> Ty -> Ty
intTy :: Annote -> Ty
strTy :: Annote -> Ty
nilTy :: Ty
refTy :: Annote -> Ty -> Ty
(|->) :: [Text] -> Ty -> Poly
rangeTy :: Ty -> Ty
sig :: [Ty] -> Ty -> Ty
flattenSig :: Ty -> ([Ty], Ty)
pairTy :: Annote -> Ty -> Ty -> Ty
arrowRight :: Ty -> Ty
arrowLeft :: Ty -> Ty
higherOrder :: Ty -> Bool
fundamental :: Ty -> Bool
concrete :: Ty -> Bool
paramTys :: Ty -> [Ty]
finMax :: Ty -> Maybe Natural
proxyNat :: Ty -> Maybe Natural
finiteTy :: Annote -> Natural -> Ty
vecSize :: Ty -> Maybe Natural
vecElemTy :: Ty -> Maybe Ty
vecTy :: Annote -> Ty -> Ty -> Ty
evalNat :: Ty -> Maybe Natural
mkArrowTy :: [Ty] -> Ty -> Ty
mkTyApp :: Annote -> Ty -> [Ty] -> Ty
poly :: [Text] -> Ty -> Poly
poly' :: Ty -> Poly
listTy :: Annote -> Ty -> Ty
plusTy :: Annote -> Natural -> Natural -> Ty
dstPlusTy :: Ty -> Maybe (Ty, Ty)
isReacT :: Ty -> Bool
isStateT :: Ty -> Bool
ctorNames :: Ty -> [Text]
resInputTy :: Ty -> Maybe Ty
dstArrow :: Ty -> Maybe (Ty, Ty)
dstStateT :: Ty -> Maybe [Ty]
dstTyApp :: Ty -> Maybe (Ty, Ty)
dstReacT :: Ty -> Maybe (Ty, Ty, [Ty], Ty)
proxyTy :: Annote -> Natural -> Ty
dstNegTy :: Ty -> Maybe Ty
negTy :: Annote -> Ty -> Ty
dstPoly1 :: Ty -> Maybe Poly1
data Poly1
minusP1 :: Poly1 -> Poly1 -> Poly1
zeroP1 :: Poly1
pickVar :: Poly1 -> Maybe (Text, Poly1)
poly1Ty :: Poly1 -> Ty

Documentation

class TypeAnnotated a where Source #

Methods

typeOf :: a -> Maybe Ty Source #

tyAnn :: a -> Maybe Poly Source #

setTyAnn :: Maybe Poly -> a -> a Source #

Instances

Instances details

TypeAnnotated Exp Source #
Instance details Defined in Embedder.Atmo.Types Methods typeOf :: Exp -> Maybe Ty Source # tyAnn :: Exp -> Maybe Poly Source # setTyAnn :: Maybe Poly -> Exp -> Exp Source #
TypeAnnotated Pat Source #
Instance details Defined in Embedder.Atmo.Types Methods typeOf :: Pat -> Maybe Ty Source # tyAnn :: Pat -> Maybe Poly Source # setTyAnn :: Maybe Poly -> Pat -> Pat Source #

tupleTy :: Annote -> [Ty] -> Ty Source #

arr :: Ty -> Ty -> Ty infixr 1 Source #

intTy :: Annote -> Ty Source #

strTy :: Annote -> Ty Source #

nilTy :: Ty Source #

refTy :: Annote -> Ty -> Ty Source #

(|->) :: [Text] -> Ty -> Poly infix 1 Source #

rangeTy :: Ty -> Ty Source #

sig :: [Ty] -> Ty -> Ty Source #

flattenSig :: Ty -> ([Ty], Ty) Source #

pairTy :: Annote -> Ty -> Ty -> Ty Source #

arrowRight :: Ty -> Ty Source #

Given 'a -> (b -> c)' returns 'b -> c'.

arrowLeft :: Ty -> Ty Source #

Given 'a -> (b -> c)' returns a.

higherOrder :: Ty -> Bool Source #

fundamental :: Ty -> Bool Source #

Types with no built-ins (Strings, Integers, lists).

concrete :: Ty -> Bool Source #

Types containing no type variables (or blanks).

paramTys :: Ty -> [Ty] Source #

finMax :: Ty -> Maybe Natural Source #

proxyNat :: Ty -> Maybe Natural Source #

finiteTy :: Annote -> Natural -> Ty Source #

vecSize :: Ty -> Maybe Natural Source #

vecElemTy :: Ty -> Maybe Ty Source #

vecTy :: Annote -> Ty -> Ty -> Ty Source #

evalNat :: Ty -> Maybe Natural Source #

mkArrowTy :: [Ty] -> Ty -> Ty Source #

Takes [T1, ..., Tn-1] Tn and returns (T1 -> (T2 -> ... (T(n-1) -> Tn) ...))

mkTyApp :: Annote -> Ty -> [Ty] -> Ty Source #

poly :: [Text] -> Ty -> Poly Source #

poly' :: Ty -> Poly Source #

listTy :: Annote -> Ty -> Ty Source #

plusTy :: Annote -> Natural -> Natural -> Ty Source #

dstPlusTy :: Ty -> Maybe (Ty, Ty) Source #

isReacT :: Ty -> Bool Source #

isStateT :: Ty -> Bool Source #

ctorNames :: Ty -> [Text] Source #

resInputTy :: Ty -> Maybe Ty Source #

dstArrow :: Ty -> Maybe (Ty, Ty) Source #

dstStateT :: Ty -> Maybe [Ty] Source #

This takes a type of the form

 StateT S1 (StateT S2 (... (StateT Sm I)))

and returns

 [S1, ..., Sm]

dstTyApp :: Ty -> Maybe (Ty, Ty) Source #

This takes a type of the form

m a

and returns

 Just (m, a)

dstReacT :: Ty -> Maybe (Ty, Ty, [Ty], Ty) Source #

This takes a type of the form

 ReacT In Out (StateT S1 (StateT S2 (... (StateT Sm I)))) T

and returns

 (In, Out, [S1, ..., Sm], T)

proxyTy :: Annote -> Natural -> Ty Source #

dstNegTy :: Ty -> Maybe Ty Source #

negTy :: Annote -> Ty -> Ty Source #

dstPoly1 :: Ty -> Maybe Poly1 Source #

data Poly1 Source #

Degree-1 polynomial with rational coefficients.

Instances

Instances details

Show Poly1 Source #
Instance details Defined in Embedder.Atmo.Types Methods showsPrec :: Int -> Poly1 -> ShowS # show :: Poly1 -> String # showList :: [Poly1] -> ShowS #
Eq Poly1 Source #
Instance details Defined in Embedder.Atmo.Types Methods (==) :: Poly1 -> Poly1 -> Bool # (/=) :: Poly1 -> Poly1 -> Bool #
Pretty Poly1 Source #
Instance details Defined in Embedder.Atmo.Types Methods pretty :: Poly1 -> Doc ann # prettyList :: [Poly1] -> Doc ann

minusP1 :: Poly1 -> Poly1 -> Poly1 Source #

zeroP1 :: Poly1 Source #

pickVar :: Poly1 -> Maybe (Text, Poly1) Source #

poly1Ty :: Poly1 -> Ty Source #