| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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 {}
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 EInterface Source
Constructors
| EInterface | |
Fields
| |
Instances