disco-0.2: Functional programming language for teaching discrete math.
Copyrightdisco team and contributors
Maintainerbyorgey@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Disco.Doc

Description

Built-in documentation.

Synopsis

Documentation

data DocKey where Source #

Lookup keys for documentation.

Constructors

PrimKey :: Prim -> DocKey 
OtherKey :: String -> DocKey 

Instances

Instances details
Show DocKey Source # 
Instance details

Defined in Disco.Doc

Eq DocKey Source # 
Instance details

Defined in Disco.Doc

Methods

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

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

Ord DocKey Source # 
Instance details

Defined in Disco.Doc

data RefType where Source #

An enumeration of different types of documentation references.

Constructors

Intro :: RefType

A reference to the Gentle Introduction (https:/disco-lang.readthedocs.ioenlatestintroduction/index.html)

Ref :: RefType

A reference to the Language Reference (https:/disco-lang.readthedocs.ioenlatestreference/index.html)

URL :: RefType

An arbitrary free-form URL

Instances

Instances details
Bounded RefType Source # 
Instance details

Defined in Disco.Doc

Enum RefType Source # 
Instance details

Defined in Disco.Doc

Read RefType Source # 
Instance details

Defined in Disco.Doc

Show RefType Source # 
Instance details

Defined in Disco.Doc

Eq RefType Source # 
Instance details

Defined in Disco.Doc

Methods

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

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

Ord RefType Source # 
Instance details

Defined in Disco.Doc

data Reference Source #

A reference for further reading.

Constructors

Reference 

Fields

Instances

Instances details
Show Reference Source # 
Instance details

Defined in Disco.Doc

Eq Reference Source # 
Instance details

Defined in Disco.Doc

Ord Reference Source # 
Instance details

Defined in Disco.Doc

docMap :: Map DocKey (String, [Reference]) Source #

A map storing documentation for various things that can be looked up with :doc. Each key is mapped to a short descriptive string, plus references for further reading.