idris-1.1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
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

Functor FunDoc' Source # 

Methods

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

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

data Docs' d Source #

Instances

Functor Docs' Source # 

Methods

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

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