Safe Haskell	None
Language	Haskell2010

IR.Constraint.Canonical

Synopsis

data Type
- = TCon TConId [Type]
- | TVar TVarId
data Scheme = Forall FreeVars Type
type FreeVars = Map TVarId ()
data Annotation
- = AnnType Type
- | AnnDCon DConId [Annotation]
- | AnnArrows [Annotation] Annotation
newtype Annotations = Annotations [Annotation]
type Kind = Int
schemeOf :: Type -> Scheme
freeVars :: Type -> FreeVars
foldArrow :: ([Type], Type) -> Type
unfoldArrow :: Type -> ([Type], Type)
(-->) :: Type -> Type -> Type
pattern Unit :: Type
pattern Ref :: Type -> Type
pattern List :: Type -> Type
pattern Time :: Type
pattern I64 :: Type
pattern U64 :: Type
pattern I32 :: Type
pattern U32 :: Type
pattern I16 :: Type
pattern U16 :: Type
pattern I8 :: Type
pattern U8 :: Type
tuple :: [Type] -> Type
unAnnotations :: Annotations -> [Annotation]
annToType :: Annotation -> Type
builtinKinds :: Map TConId Kind

Documentation

data Type Source #

Encoding of sslang types.

Structurally speaking, these are very simple. Types are either type variables or type constructors applied to some other types.

Builtin types (and type constructors) include Arrow, Unit, Ref, List, and various sizes of tuples; for convenience, those are defined elsewhere using the GHC PatternSynonyms extension.

Constructors

TCon TConId [Type]	Type constructor, applied to zero or more types
TVar TVarId	Type variable (may be implicitly quantified)

Instances

Instances details

Eq Type Source #
Instance details Defined in IR.Types.Type Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Instance details Defined in IR.Types.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Show Type Source #
Instance details Defined in IR.Types.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type Source #
Instance details Defined in IR.Types.Type Methods pretty :: Type -> Doc ann prettyList :: [Type] -> Doc ann
Dumpy Type Source #
Instance details Defined in IR.Types.Type Methods dumpy :: Type -> Doc ann Source #
HasType Type Source #
Instance details Defined in IR.Types.Type Methods getType :: Type -> Type Source #
HasFreeVars Type TVarId Source #
Instance details Defined in IR.Types.Type Methods freeVars :: Type -> Set TVarId Source #
Pretty (Alt Type)
Instance details Defined in IR.Pretty Methods pretty :: Alt Type -> Doc ann prettyList :: [Alt Type] -> Doc ann
Pretty (Expr Type)
Instance details Defined in IR.Pretty Methods pretty :: Expr Type -> Doc ann prettyList :: [Expr Type] -> Doc ann
Pretty (Program Type)	Pretty Typeclass: pretty print the IR Adds * indentation and line breaks * some parens (not minimal parens, but fewer than around every node) Omits * let _ = * type annotations Reverts * curried funcs of one arg back to multiple arg funcs
Instance details Defined in IR.Pretty Methods pretty :: Program Type -> Doc ann prettyList :: [Program Type] -> Doc ann

data Scheme Source #

SCHEMES

Constructors

Forall FreeVars Type

type FreeVars = Map TVarId () Source #

data Annotation Source #

An annotation records the annotated portion of a pattern.

Constructors

AnnType Type	A basic `Type` annotation
AnnDCon DConId [Annotation]	Annotations collected from patterns
AnnArrows [Annotation] Annotation	Annotations collected from fun args

Instances

Instances details

Eq Annotation Source #
Instance details Defined in IR.Types.Type Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Data Annotation Source #
Instance details Defined in IR.Types.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation -> c Annotation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotation # toConstr :: Annotation -> Constr # dataTypeOf :: Annotation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Annotation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotation) # gmapT :: (forall b. Data b => b -> b) -> Annotation -> Annotation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r # gmapQ :: (forall d. Data d => d -> u) -> Annotation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation #
Show Annotation Source #
Instance details Defined in IR.Types.Type Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Pretty Annotation Source #
Instance details Defined in IR.Types.Type Methods pretty :: Annotation -> Doc ann prettyList :: [Annotation] -> Doc ann
Dumpy Annotation Source #
Instance details Defined in IR.Types.Type Methods dumpy :: Annotation -> Doc ann Source #

newtype Annotations Source #

Expressions are annotated with a (potentially empty) list of Annotation.

Constructors

Annotations [Annotation]

Instances

Instances details

Eq Annotations Source #
Instance details Defined in IR.Types.Type Methods (==) :: Annotations -> Annotations -> Bool # (/=) :: Annotations -> Annotations -> Bool #
Data Annotations Source #
Instance details Defined in IR.Types.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotations -> c Annotations # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotations # toConstr :: Annotations -> Constr # dataTypeOf :: Annotations -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Annotations) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotations) # gmapT :: (forall b. Data b => b -> b) -> Annotations -> Annotations # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotations -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotations -> r # gmapQ :: (forall d. Data d => d -> u) -> Annotations -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotations -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations #
Show Annotations Source #
Instance details Defined in IR.Types.Type Methods showsPrec :: Int -> Annotations -> ShowS # show :: Annotations -> String # showList :: [Annotations] -> ShowS #
Semigroup Annotations Source #
Instance details Defined in IR.Types.Type Methods (<>) :: Annotations -> Annotations -> Annotations # sconcat :: NonEmpty Annotations -> Annotations # stimes :: Integral b => b -> Annotations -> Annotations #
Monoid Annotations Source #
Instance details Defined in IR.Types.Type Methods mempty :: Annotations # mappend :: Annotations -> Annotations -> Annotations # mconcat :: [Annotations] -> Annotations #
Pretty Annotations Source #
Instance details Defined in IR.Types.Type Methods pretty :: Annotations -> Doc ann prettyList :: [Annotations] -> Doc ann
Dumpy Annotations Source #
Instance details Defined in IR.Types.Type Methods dumpy :: Annotations -> Doc ann Source #