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

type Var = String

data Tag

Constructors

Tag Int 
PrimTag Var 

pairwiseFilter :: [Bool] -> [a] -> [a]

Filter a list using a list of Bools specifying what to keep.

notForced :: ForcedArgs -> [a] -> [a]

forced :: ForcedArgs -> [a] -> [a]