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

Safe HaskellNone
LanguageHaskell2010

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 

Instances

Eq Tag # 

Methods

(==) :: Tag -> Tag -> Bool #

(/=) :: Tag -> Tag -> Bool #

Ord Tag # 

Methods

compare :: Tag -> Tag -> Ordering #

(<) :: Tag -> Tag -> Bool #

(<=) :: Tag -> Tag -> Bool #

(>) :: Tag -> Tag -> Bool #

(>=) :: Tag -> Tag -> Bool #

max :: Tag -> Tag -> Tag #

min :: Tag -> Tag -> Tag #

Show Tag # 

Methods

showsPrec :: Int -> Tag -> ShowS #

show :: Tag -> String #

showList :: [Tag] -> ShowS #

data Forced #

Constructors

NotForced 
Forced 

Instances

Eq Forced # 

Methods

(==) :: Forced -> Forced -> Bool #

(/=) :: Forced -> Forced -> Bool #

Show Forced # 

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

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

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

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