| Safe Haskell | None |
|---|
Agda.Compiler.Epic.Interface
Description
Epic interface data structure, which is serialisable and stored for each compiled file
- type Var = String
- data Tag
- data Forced
- pairwiseFilter :: [Bool] -> [a] -> [a]
- notForced :: ForcedArgs -> [a] -> [a]
- forced :: ForcedArgs -> [a] -> [a]
- data Relevance
- type ForcedArgs = [Forced]
- type RelevantArgs = [Relevance]
- data InjectiveFun = InjectiveFun {}
- data EInterface = EInterface {
- constrTags :: Map QName Tag
- definitions :: Set Var
- defDelayed :: Map QName Bool
- conArity :: Map QName Int
- mainName :: Maybe QName
- relevantArgs :: Map Var RelevantArgs
- forcedArgs :: Map QName ForcedArgs
- injectiveFuns :: Map QName InjectiveFun
Documentation
pairwiseFilter :: [Bool] -> [a] -> [a]Source
Filter a list using a list of Bools specifying what to keep.
notForced :: ForcedArgs -> [a] -> [a]Source
forced :: ForcedArgs -> [a] -> [a]Source
type ForcedArgs = [Forced]Source
type RelevantArgs = [Relevance]Source
data InjectiveFun Source
Constructors
| InjectiveFun | |
Instances
| Eq InjectiveFun | |
| Show InjectiveFun | |
| Typeable InjectiveFun | |
| EmbPrj InjectiveFun |
data EInterface Source
Constructors
| EInterface | |
Fields
| |
Instances
| Show EInterface | |
| Typeable EInterface | |
| Monoid EInterface | |
| EmbPrj EInterface |