Prelude/String.ad

Outline
module Prelude.String
String (type)
mkString (declaration)
LiteralString String (typeclass-instance)
mkLiteralString (definition)

Content
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

module Prelude.String (
  Stringabbreviation-type `Prelude.String.String`
   kind `*`
   type `String` abbreviates type `[Char]`
   executable(..)definition of abbreviation-type,
  mkStringconstant `Prelude.String.mkString`
   constant
   type `BuiltInString -> String`
   executable
) where

{-# NoImplicitPrelude #-}

import Prelude.List ()
import Prelude.Char
import Prelude.Literal

type Stringabbreviation-type `Prelude.String.String`
   kind `*`
   type `String` abbreviates type `[Char]`
   executable := [Chardatatype `Prelude.Char.Char`
   kind `*`
   executable]

declare mkStringconstant `Prelude.String.mkString`
   constant
   type `BuiltInString -> String`
   executable :: BuiltInStringtype `Prelude.Literal.BuiltInString`
   kind `*`
   executable -> Stringabbreviation-type `Prelude.String.String`
   kind `*`
   type `String` abbreviates type `[Char]`
   executable

instance LiteralStringtype-class `Prelude.Literal.LiteralString`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.Eq 'a
   statically-resolved Stringabbreviation-type `Prelude.String.String`
   kind `*`
   type `String` abbreviates type `[Char]`
   executable where
  define mkLiteralStringconstant `Prelude.Literal.mkLiteralString`
   constant of type-class instance `LiteralString String`
   type `BuiltInString -> String`
   executable := mkStringconstant `Prelude.String.mkString`
   constant
   type `BuiltInString -> String`
   executable
  {-# inline mkLiteralStringconstant `Prelude.Literal.mkLiteralString`
   constant of type-class instance `LiteralString String`
   type `BuiltInString -> String`
   executable #-}
end-instance

end-moduleend of module Prelude.String