Copyright	disco team and contributors
License	BSD-3-Clause
Maintainer	byorgey@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Disco.AST.Typed

Contents

Type-annotated terms
Branches and guards
Utilities

Description

Typed abstract syntax trees representing the typechecked surface syntax of the Disco language. Each tree node is annotated with the type of its subtree.

Synopsis

type ATerm = Term_ TY
pattern ATVar :: Type -> QName ATerm -> ATerm
pattern ATPrim :: Type -> Prim -> ATerm
pattern ATLet :: Type -> Bind (Telescope ABinding) ATerm -> ATerm
pattern ATUnit :: ATerm
pattern ATBool :: Type -> Bool -> ATerm
pattern ATNat :: Type -> Integer -> ATerm
pattern ATRat :: Rational -> ATerm
pattern ATChar :: Char -> ATerm
pattern ATString :: String -> ATerm
pattern ATAbs :: Quantifier -> Type -> Bind [APattern] ATerm -> ATerm
pattern ATApp :: Type -> ATerm -> ATerm -> ATerm
pattern ATTup :: Type -> [ATerm] -> ATerm
pattern ATCase :: Type -> [ABranch] -> ATerm
pattern ATChain :: Type -> ATerm -> [ALink] -> ATerm
pattern ATTyOp :: Type -> TyOp -> Type -> ATerm
pattern ATContainer :: Type -> Container -> [(ATerm, Maybe ATerm)] -> Maybe (Ellipsis ATerm) -> ATerm
pattern ATContainerComp :: Type -> Container -> Bind (Telescope AQual) ATerm -> ATerm
pattern ATList :: Type -> [ATerm] -> Maybe (Ellipsis ATerm) -> ATerm
pattern ATListComp :: Type -> Bind (Telescope AQual) ATerm -> ATerm
pattern ATTest :: [(String, Type, Name ATerm)] -> ATerm -> ATerm
type ALink = Link_ TY
pattern ATLink :: BOp -> ATerm -> ALink
data Container where
- ListContainer :: Container
- BagContainer :: Container
- SetContainer :: Container
type ABinding = Binding_ TY
type ABranch = Bind (Telescope AGuard) ATerm
type AGuard = Guard_ TY
pattern AGBool :: Embed ATerm -> AGuard
pattern AGPat :: Embed ATerm -> APattern -> AGuard
pattern AGLet :: ABinding -> AGuard
type AQual = Qual_ TY
pattern AQBind :: Name ATerm -> Embed ATerm -> AQual
pattern AQGuard :: Embed ATerm -> AQual
type APattern = Pattern_ TY
pattern APVar :: Type -> Name ATerm -> APattern
pattern APWild :: Type -> APattern
pattern APUnit :: APattern
pattern APBool :: Bool -> APattern
pattern APTup :: Type -> [APattern] -> APattern
pattern APInj :: Type -> Side -> APattern -> APattern
pattern APNat :: Type -> Integer -> APattern
pattern APChar :: Char -> APattern
pattern APString :: String -> APattern
pattern APCons :: Type -> APattern -> APattern -> APattern
pattern APList :: Type -> [APattern] -> APattern
pattern APAdd :: Type -> Side -> APattern -> ATerm -> APattern
pattern APMul :: Type -> Side -> APattern -> ATerm -> APattern
pattern APSub :: Type -> APattern -> ATerm -> APattern
pattern APNeg :: Type -> APattern -> APattern
pattern APFrac :: Type -> APattern -> APattern -> APattern
pattern ABinding :: Maybe (Embed PolyType) -> Name ATerm -> Embed ATerm -> ABinding
varsBound :: APattern -> [(Name ATerm, Type)]
getType :: HasType t => t -> Type
setType :: HasType t => Type -> t -> t
substQT :: QName ATerm -> ATerm -> ATerm -> ATerm
type AProperty = Property_ TY

Type-annotated terms

type ATerm = Term_ TY Source #

An ATerm is a typechecked term where every node in the tree has been annotated with the type of the subterm rooted at that node.

pattern ATVar :: Type -> QName ATerm -> ATerm Source #

pattern ATPrim :: Type -> Prim -> ATerm Source #

pattern ATLet :: Type -> Bind (Telescope ABinding) ATerm -> ATerm Source #

pattern ATUnit :: ATerm Source #

pattern ATBool :: Type -> Bool -> ATerm Source #

pattern ATNat :: Type -> Integer -> ATerm Source #

pattern ATRat :: Rational -> ATerm Source #

pattern ATChar :: Char -> ATerm Source #

pattern ATString :: String -> ATerm Source #

pattern ATAbs :: Quantifier -> Type -> Bind [APattern] ATerm -> ATerm Source #

pattern ATApp :: Type -> ATerm -> ATerm -> ATerm Source #

pattern ATTup :: Type -> [ATerm] -> ATerm Source #

pattern ATCase :: Type -> [ABranch] -> ATerm Source #

pattern ATChain :: Type -> ATerm -> [ALink] -> ATerm Source #

pattern ATTyOp :: Type -> TyOp -> Type -> ATerm Source #

pattern ATContainer :: Type -> Container -> [(ATerm, Maybe ATerm)] -> Maybe (Ellipsis ATerm) -> ATerm Source #

pattern ATContainerComp :: Type -> Container -> Bind (Telescope AQual) ATerm -> ATerm Source #

pattern ATList :: Type -> [ATerm] -> Maybe (Ellipsis ATerm) -> ATerm Source #

pattern ATListComp :: Type -> Bind (Telescope AQual) ATerm -> ATerm Source #

pattern ATTest :: [(String, Type, Name ATerm)] -> ATerm -> ATerm Source #

type ALink = Link_ TY Source #

pattern ATLink :: BOp -> ATerm -> ALink Source #

data Container where Source #

An enumeration of the different kinds of containers in disco: lists, bags, and sets.

Constructors

ListContainer :: Container
BagContainer :: Container
SetContainer :: Container

Instances

Instances details

Data Container Source #
Instance details Defined in Disco.AST.Generic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Container -> c Container # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Container # toConstr :: Container -> Constr # dataTypeOf :: Container -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Container) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Container) # gmapT :: (forall b. Data b => b -> b) -> Container -> Container # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Container -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Container -> r # gmapQ :: (forall d. Data d => d -> u) -> Container -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Container -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Container -> m Container # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Container -> m Container # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Container -> m Container #
Enum Container Source #
Instance details Defined in Disco.AST.Generic Methods succ :: Container -> Container # pred :: Container -> Container # toEnum :: Int -> Container # fromEnum :: Container -> Int # enumFrom :: Container -> [Container] # enumFromThen :: Container -> Container -> [Container] # enumFromTo :: Container -> Container -> [Container] # enumFromThenTo :: Container -> Container -> Container -> [Container] #
Generic Container Source #
Instance details Defined in Disco.AST.Generic Associated Types type Rep Container :: Type -> Type # Methods from :: Container -> Rep Container x # to :: Rep Container x -> Container #
Show Container Source #
Instance details Defined in Disco.AST.Generic Methods showsPrec :: Int -> Container -> ShowS # show :: Container -> String # showList :: [Container] -> ShowS #
Eq Container Source #
Instance details Defined in Disco.AST.Generic Methods (==) :: Container -> Container -> Bool # (/=) :: Container -> Container -> Bool #
Alpha Container Source #
Instance details Defined in Disco.AST.Generic Methods aeq' :: AlphaCtx -> Container -> Container -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Container -> f Container # close :: AlphaCtx -> NamePatFind -> Container -> Container # open :: AlphaCtx -> NthPatFind -> Container -> Container # isPat :: Container -> DisjointSet AnyName # isTerm :: Container -> All # isEmbed :: Container -> Bool # nthPatFind :: Container -> NthPatFind # namePatFind :: Container -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Container -> Container # lfreshen' :: LFresh m => AlphaCtx -> Container -> (Container -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Container -> m (Container, Perm AnyName) # acompare' :: AlphaCtx -> Container -> Container -> Ordering #
Subst t Container Source #
Instance details Defined in Disco.AST.Generic Methods isvar :: Container -> Maybe (SubstName Container t) # isCoerceVar :: Container -> Maybe (SubstCoerce Container t) # subst :: Name t -> t -> Container -> Container # substs :: [(Name t, t)] -> Container -> Container #
type Rep Container Source #
Instance details Defined in Disco.AST.Generic type Rep Container = D1 ('MetaData "Container" "Disco.AST.Generic" "disco-0.1.6-4H4WbJGKK2PJTBCPs5wYLr" 'False) (C1 ('MetaCons "ListContainer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BagContainer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SetContainer" 'PrefixI 'False) (U1 :: Type -> Type)))