agda-unused-0.2.0: Check for unused code in an Agda project.
Safe HaskellNone
LanguageHaskell2010

Agda.Unused.Types.Access

Description

Access modifiers indicating whether an item is public or private.

Synopsis

Definition

data Access where Source #

An access modifier.

Constructors

Private :: Access 
Public :: Access 

Instances

Instances details
Show Access Source # 
Instance details

Defined in Agda.Unused.Types.Access

Interface

access :: a -> a -> Access -> a Source #

Elimination rule for Access.

Conversion

fromAccess :: Access -> Access Source #

Conversion from Agda access type.