Disco.AST.Typed

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

Type-annotated terms

type ATerm = Term_ TY

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

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

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

Constructors

ListContainer :: Container

BagContainer :: Container

SetContainer :: Container

Instances

Enum Container

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]

Eq Container

Defined in Disco.AST.Generic

Methods

(==) :: Container -> Container -> Bool

(/=) :: Container -> Container -> Bool

Data Container

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

Show Container

Defined in Disco.AST.Generic

Methods

showsPrec :: Int -> Container -> ShowS

show :: Container -> String

showList :: [Container] -> ShowS

Generic Container

Defined in Disco.AST.Generic

Associated Types

type Rep Container :: Type -> Type

Methods

from :: Container -> Rep Container x

to :: Rep Container x -> Container

Alpha Container

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

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

Defined in Disco.AST.Generic

type Rep Container = D1 ('MetaData "Container" "Disco.AST.Generic" "disco-0.1.3.1-EVUeP3Z0O0d8zqKlGvDqh1" '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)))

type ABinding = Binding_ TY

Branches and guards

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

Utilities

varsBound :: APattern -> [(Name ATerm, Type)]

getType :: HasType t => t -> Type

Get the type of a thing.

setType :: HasType t => Type -> t -> t

Set the type of a thing, when that is possible; the default implementation is for setType to do nothing.

substQT :: QName ATerm -> ATerm -> ATerm -> ATerm

type AProperty = Property_ TY