cryptol-2.8.0: Cryptol: The Language of Cryptography

Copyright | (c) 2013-2017 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell2010

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 #