cryptol-2.8.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2017 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.Parseable

Description

 

Documentation

class ShowParseable t where Source #

Methods

showParseable :: t -> Doc Source #

Instances

Instances details
ShowParseable Int Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Int -> Doc Source #

ShowParseable Ident Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Ident -> Doc Source #

ShowParseable Selector Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Selector -> Doc Source #

ShowParseable Name Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Name -> Doc Source #

ShowParseable Type Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Type -> Doc Source #

ShowParseable TParam Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: TParam -> Doc Source #

ShowParseable DeclDef Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: DeclDef -> Doc Source #

ShowParseable Decl Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Decl -> Doc Source #

ShowParseable DeclGroup Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: DeclGroup -> Doc Source #

ShowParseable Match Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Match -> Doc Source #

ShowParseable Expr Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Expr -> Doc Source #

ShowParseable a => ShowParseable [a] Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: [a] -> Doc Source #

ShowParseable a => ShowParseable (Maybe a) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Maybe a -> Doc Source #

ShowParseable a => ShowParseable (Located a) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Located a -> Doc Source #

(ShowParseable a, ShowParseable b) => ShowParseable (a, b) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: (a, b) -> Doc Source #

maybeNameDoc :: Maybe Name -> Doc Source #

class ShowParseable t where Source #

Methods

showParseable :: t -> Doc Source #

Instances

Instances details
ShowParseable Int Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Int -> Doc Source #

ShowParseable Ident Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Ident -> Doc Source #

ShowParseable Selector Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Selector -> Doc Source #

ShowParseable Name Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Name -> Doc Source #

ShowParseable Type Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Type -> Doc Source #

ShowParseable TParam Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: TParam -> Doc Source #

ShowParseable DeclDef Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: DeclDef -> Doc Source #

ShowParseable Decl Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Decl -> Doc Source #

ShowParseable DeclGroup Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: DeclGroup -> Doc Source #

ShowParseable Match Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Match -> Doc Source #

ShowParseable Expr Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Expr -> Doc Source #

ShowParseable a => ShowParseable [a] Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: [a] -> Doc Source #

ShowParseable a => ShowParseable (Maybe a) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Maybe a -> Doc Source #

ShowParseable a => ShowParseable (Located a) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Located a -> Doc Source #

(ShowParseable a, ShowParseable b) => ShowParseable (a, b) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: (a, b) -> Doc Source #