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

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

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 #