| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cryptol.TypeCheck.ModuleInstance
Synopsis
- type Su = (?tSu :: Subst, ?vSu :: Map Name Name)
- doVInst :: (Su, TraverseNames a) => a -> a
- doTInst :: (Su, TVars a) => a -> a
- doTVInst :: (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 = (?tSu :: Subst, ?vSu :: Map Name Name) Source #
`?tSu` should be applied to all types. `?vSu` shoudl be applied to all values.
doVInst :: (Su, TraverseNames a) => a -> a Source #
Has value names but no types.
class ModuleInstance t where Source #
Methods
moduleInstance :: Su => t -> t Source #