Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.TypeCheck.ModuleInstance

Synopsis

type Su = (?tVarSu :: Subst, ?nameSu :: Map Name Name)
doNameInst :: (Su, TraverseNames a) => a -> a
doTVarInst :: (Su, TVars a) => a -> a
doInst :: (Su, TVars a, TraverseNames a) => a -> a
doMap :: (Su, ModuleInstance a) => Map Name a -> Map Name a
doSet :: Su => Set Name -> Set Name
class ModuleInstance t where
- moduleInstance :: Su => t -> t

Documentation

type Su = (?tVarSu :: Subst, ?nameSu :: Map Name Name) Source #

`?tVarSu` substitutes Types for Types which are module type parameters. `?nameSu` substitutes fresh Names for the functor's Names (in all namespaces).

doNameInst :: (Su, TraverseNames a) => a -> a Source #

Instantiate something that has Names.

doTVarInst :: (Su, TVars a) => a -> a Source #

Instantiate something that has Types.

doInst :: (Su, TVars a, TraverseNames a) => a -> a Source #

Instantiate something that has both Types and Names. Order is important here because '?tVarSu' might insert Names.

doMap :: (Su, ModuleInstance a) => Map Name a -> Map Name a Source #

doSet :: Su => Set Name -> Set Name Source #

class ModuleInstance t where Source #

Methods

moduleInstance :: Su => t -> t Source #

Instances

Instances details

ModuleInstance Name Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: Name -> Name Source #
ModuleInstance NamingEnv Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: NamingEnv -> NamingEnv Source #
ModuleInstance Decl Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: Decl -> Decl Source #
ModuleInstance DeclGroup Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: DeclGroup -> DeclGroup Source #
ModuleInstance EnumCon Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: EnumCon -> EnumCon Source #
ModuleInstance ModParam Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ModParam -> ModParam Source #
ModuleInstance ModParamNames Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ModParamNames -> ModParamNames Source #
ModuleInstance ModTParam Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ModTParam -> ModTParam Source #
ModuleInstance ModVParam Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ModVParam -> ModVParam Source #
ModuleInstance NominalType Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: NominalType -> NominalType Source #
ModuleInstance NominalTypeDef Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: NominalTypeDef -> NominalTypeDef Source #
ModuleInstance Schema Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: Schema -> Schema Source #
ModuleInstance StructCon Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: StructCon -> StructCon Source #
ModuleInstance TySyn Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: TySyn -> TySyn Source #
ModuleInstance Type Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: Type -> Type Source #
ModuleInstance name => ModuleInstance (IfaceNames name) Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: IfaceNames name -> IfaceNames name Source #
ModuleInstance name => ModuleInstance (ImpName name) Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ImpName name -> ImpName name Source #
ModuleInstance a => ModuleInstance (Located a) Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: Located a -> Located a Source #
ModuleInstance (ModuleG name) Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: ModuleG name -> ModuleG name Source #
ModuleInstance a => ModuleInstance [a] Source #
Instance details Defined in Cryptol.TypeCheck.ModuleInstance Methods moduleInstance :: [a] -> [a] Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result