idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Docs

Description

 
Synopsis

Documentation

getDocs :: Name -> HowMuchDocs -> Idris Docs Source #

Given a fully-qualified, disambiguated name, construct the documentation object for it

data FunDoc' d Source #

Constructors

FD Name d [(Name, PTerm, Plicity, Maybe d)] PTerm (Maybe Fixity) 

Instances

Instances details
Functor FunDoc' Source # 
Instance details

Defined in Idris.Docs

Methods

fmap :: (a -> b) -> FunDoc' a -> FunDoc' b

(<$) :: a -> FunDoc' b -> FunDoc' a

data Docs' d Source #

Constructors

FunDoc (FunDoc' d) 
DataDoc (FunDoc' d) [FunDoc' d] 
InterfaceDoc Name d [FunDoc' d] [(Name, Maybe d)] [PTerm] [(Maybe Name, PTerm, (d, [(Name, d)]))] [PTerm] [PTerm] (Maybe (FunDoc' d)) 
RecordDoc Name d (FunDoc' d) [FunDoc' d] [(Name, PTerm, Maybe d)] 
NamedImplementationDoc Name (FunDoc' d) 
ModDoc [String] d 

Instances

Instances details
Functor Docs' Source # 
Instance details

Defined in Idris.Docs

Methods

fmap :: (a -> b) -> Docs' a -> Docs' b

(<$) :: a -> Docs' b -> Docs' a