Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Compiler.Epic.Interface

Description

Epic interface data structure, which is serialisable and stored for each compiled file

Synopsis

Documentation

data Tag Source

Constructors

Tag Int 
PrimTag Var 

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