Show -package:rebase -package:base -package:numeric-prelude -package:leancheck
hedgehog Hedgehog.Internal.Prelude,
base-compat Prelude.Compat,
haskell-gi-base Data.GI.Base.ShortPrelude,
shake Development.Shake.Classes,
Cabal-syntax Distribution.Compat.Prelude,
universum Universum.Base,
ihaskell IHaskellPrelude,
dimensional Numeric.Units.Dimensional.Prelude,
mixed-types-num Numeric.MixedTypes.PreludeHiding,
LambdaHack Game.LambdaHack.Core.Prelude,
cabal-install-solver Distribution.Solver.Compat.Prelude,
faktory Faktory.Prelude Conversion of values to readable
Strings.
Derived instances of
Show have the following properties, which
are compatible with derived instances of
Read:
- The result of show is a syntactically correct Haskell
expression containing only constants, given the fixity declarations in
force at the point where the type is declared. It contains only the
constructor names defined in the data type, parentheses, and spaces.
When labelled constructor fields are used, braces, commas, field
names, and equal signs are also used.
- If the constructor is defined to be an infix operator, then
showsPrec will produce infix applications of the
constructor.
- the representation will be enclosed in parentheses if the
precedence of the top-level constructor in x is less than
d (associativity is ignored). Thus, if d is
0 then the result is never surrounded in parentheses; if
d is 11 it is always surrounded in parentheses,
unless it is an atomic expression.
- If the constructor is defined using record syntax, then
show will produce the record-syntax form, with the fields given
in the same order as the original declaration.
For example, given the declarations
infixr 5 :^:
data Tree a = Leaf a | Tree a :^: Tree a
the derived instance of
Show is equivalent to
instance (Show a) => Show (Tree a) where
showsPrec d (Leaf m) = showParen (d > app_prec) $
showString "Leaf " . showsPrec (app_prec+1) m
where app_prec = 10
showsPrec d (u :^: v) = showParen (d > up_prec) $
showsPrec (up_prec+1) u .
showString " :^: " .
showsPrec (up_prec+1) v
where up_prec = 5
Note that right-associativity of
:^: is ignored. For example,
- show (Leaf 1 :^: Leaf 2 :^: Leaf 3) produces the
string "Leaf 1 :^: (Leaf 2 :^: Leaf 3)".
protolude Protolude Protolude.Base,
relude Relude.Base,
rio RIO.Prelude.Types,
base-prelude BasePrelude,
classy-prelude ClassyPrelude ClassyPrelude,
basic-prelude BasicPrelude CorePrelude,
basement Basement.Compat.Base Basement.Imports,
numhask NumHask.Prelude,
clash-prelude Clash.HaskellPrelude,
foundation Foundation,
ghc-lib-parser GHC.Prelude.Basic,
prelude-compat Prelude2010,
ghc-internal GHC.Internal.Show GHC.Internal.Text.Show,
quaalude Essentials,
xmonad-contrib XMonad.Config.Prime,
constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask,
copilot-language Copilot.Language.Prelude,
incipit-base Incipit.Base Conversion of values to readable
Strings.
Derived instances of
Show have the following properties, which
are compatible with derived instances of
Read:
- The result of show is a syntactically correct Haskell
expression containing only constants, given the fixity declarations in
force at the point where the type is declared. It contains only the
constructor names defined in the data type, parentheses, and spaces.
When labelled constructor fields are used, braces, commas, field
names, and equal signs are also used.
- If the constructor is defined to be an infix operator, then
showsPrec will produce infix applications of the
constructor.
- the representation will be enclosed in parentheses if the
precedence of the top-level constructor in x is less than
d (associativity is ignored). Thus, if d is
0 then the result is never surrounded in parentheses; if
d is 11 it is always surrounded in parentheses,
unless it is an atomic expression.
- If the constructor is defined using record syntax, then
show will produce the record-syntax form, with the fields given
in the same order as the original declaration.
For example, given the declarations
infixr 5 :^:
data Tree a = Leaf a | Tree a :^: Tree a
the derived instance of
Show is equivalent to
instance (Show a) => Show (Tree a) where
showsPrec d (Leaf m) = showParen (d > app_prec) $
showString "Leaf " . showsPrec (app_prec+1) m
where app_prec = 10
showsPrec d (u :^: v) = showParen (d > up_prec) $
showsPrec (up_prec+1) u .
showString " :^: " .
showsPrec (up_prec+1) v
where up_prec = 5
Note that right-associativity of
:^: is ignored. For example,
- show (Leaf 1 :^: Leaf 2 :^: Leaf 3) produces the
string "Leaf 1 :^: (Leaf 2 :^: Leaf 3)".
Support for creating Show instances using the accessors.
Generic implementation of Show
Warning
This is an internal module: it is not subject to any versioning
policy, breaking changes can happen at any time.
If something here seems useful, please report it or create a pull
request to export it from an external module.
The
Show class, and related operations.
Converting values to readable strings: the
Show class and
associated functions.
This module defines
Show instance for quantities. The show
instance prints out the number stored internally with its correct
units. To print out quantities with specific units use the function
showIn.
This module defines showing of (higher-order) signatures, which lifts
to showing of (higher-order) terms and contexts. All definitions are
generalised versions of those in
Data.Comp.Show.
This module defines showing of signatures, which lifts to showing of
terms and contexts.
Utilities for showing string-like things.
This module provides functions to fetch detailed information about a
specific model on the Ollama server. It includes both high-level
(
showModel,
showModelM) and low-level
(
showModelOps,
showModelOpsM) APIs for retrieving model
details, with support for verbose output. The operation is performed
via a POST request to the "
api/show" endpoint, returning a
ShowModelResponse containing comprehensive model metadata.
The
ShowModelOps type configures the request, and
ShowModelResponse and
ShowModelInfo represent the
response structure. The module also re-exports
ModelDetails for
completeness.
Note: Verbose mode parsing is currently not fully supported.
Example:
>>> showModel "gemma3"
Right (ShowModelResponse {modelFile = "...", ...})