cryptol-3.3.0: Cryptol: The Language of Cryptography

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

REPL.Logo

Description

Synopsis

type Version = String
type Logo = [String]
logo :: Bool -> (String -> [String]) -> Logo
displayLogo :: Bool -> Bool -> REPL ()
logo1 :: String -> [String]
logo2 :: String -> [String]

Documentation

type Version = String Source #

type Logo = [String] Source #

logo :: Bool -> (String -> [String]) -> Logo Source #

The list of Strings returned by the mk function should be non-empty.

displayLogo :: Bool -> Bool -> REPL () Source #

logo1 :: String -> [String] Source #

logo2 :: String -> [String] Source #