| 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
doNameInst :: (Su, TraverseNames a) => a -> a Source #
Instantiate something that has Names.
class ModuleInstance t where Source #
Methods
moduleInstance :: Su => t -> t Source #