Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Rep.Examples

Synopsis

page1 :: Page
page2 :: Page
cfg2 :: PageConfig
data RepExamples = RepExamples {
- repTextbox :: Text
- repTextarea :: Text
- repSliderI :: Int
- repSlider :: Double
- repSliderVI :: Int
- repSliderV :: Double
- repCheckbox :: Bool
- repToggle :: Bool
- repDropdown :: Int
- repDropdownMultiple :: [Int]
- repShape :: Shape
- repColor :: Text
}
repExamples :: Monad m => SharedRep m RepExamples
data Shape
- = SquareShape
- | CircleShape
fromShape :: Shape -> Text
toShape :: Text -> Shape
data SumTypeExample
- = SumInt Int
- | SumOnly
- | SumText Text
repSumTypeExample :: Monad m => Int -> Text -> SumTypeExample -> SharedRep m SumTypeExample
data SumType2Example
- = SumOutside Int
- | SumInside SumTypeExample
repSumType2Example :: Monad m => Int -> Text -> SumTypeExample -> SumType2Example -> SharedRep m SumType2Example
listExample :: Monad m => Int -> SharedRep m [Int]
listRepExample :: Monad m => Int -> SharedRep m [Int]
fiddleExample :: Concerns Text

Documentation

page1 :: Page Source #

simple page example

page2 :: Page Source #

page with localised libraries

cfg2 :: PageConfig Source #

data RepExamples Source #

One of each sharedrep input instances.

Constructors

RepExamples
Fields repTextbox :: Text repTextarea :: Text repSliderI :: Int repSlider :: Double repSliderVI :: Int repSliderV :: Double repCheckbox :: Bool repToggle :: Bool repDropdown :: Int repDropdownMultiple :: [Int] repShape :: Shape repColor :: Text

Instances

Instances details

Generic RepExamples Source #
Instance details Defined in Web.Rep.Examples Associated Types type Rep RepExamples :: Type -> Type # Methods from :: RepExamples -> Rep RepExamples x # to :: Rep RepExamples x -> RepExamples #
Show RepExamples Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> RepExamples -> ShowS # show :: RepExamples -> String # showList :: [RepExamples] -> ShowS #
Eq RepExamples Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: RepExamples -> RepExamples -> Bool # (/=) :: RepExamples -> RepExamples -> Bool #
type Rep RepExamples Source #
Instance details Defined in Web.Rep.Examples type Rep RepExamples = D1 ('MetaData "RepExamples" "Web.Rep.Examples" "web-rep-0.10.1-IsL1Sc2Kv7hBdkd4T3gPsn" 'False) (C1 ('MetaCons "RepExamples" 'PrefixI 'True) (((S1 ('MetaSel ('Just "repTextbox") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "repTextarea") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "repSliderI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :: (S1 ('MetaSel ('Just "repSlider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :: (S1 ('MetaSel ('Just "repSliderVI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "repSliderV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)))) :: ((S1 ('MetaSel ('Just "repCheckbox") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "repToggle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "repDropdown") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :: (S1 ('MetaSel ('Just "repDropdownMultiple") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Int]) :: (S1 ('MetaSel ('Just "repShape") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Shape) :*: S1 ('MetaSel ('Just "repColor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))))

repExamples :: Monad m => SharedRep m RepExamples Source #

one of each input SharedReps

data Shape Source #

For a typed dropdown example.

Constructors

SquareShape
CircleShape

Instances

Instances details

Generic Shape Source #
Instance details Defined in Web.Rep.Examples Associated Types type Rep Shape :: Type -> Type # Methods from :: Shape -> Rep Shape x # to :: Rep Shape x -> Shape #
Show Shape Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
Eq Shape Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #
type Rep Shape Source #
Instance details Defined in Web.Rep.Examples type Rep Shape = D1 ('MetaData "Shape" "Web.Rep.Examples" "web-rep-0.10.1-IsL1Sc2Kv7hBdkd4T3gPsn" 'False) (C1 ('MetaCons "SquareShape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CircleShape" 'PrefixI 'False) (U1 :: Type -> Type))

fromShape :: Shape -> Text Source #

shape printer

toShape :: Text -> Shape Source #

shape parser

data SumTypeExample Source #

Constructors

SumInt Int
SumOnly
SumText Text

Instances

Instances details

Generic SumTypeExample Source #
Instance details Defined in Web.Rep.Examples Associated Types type Rep SumTypeExample :: Type -> Type # Methods from :: SumTypeExample -> Rep SumTypeExample x # to :: Rep SumTypeExample x -> SumTypeExample #
Show SumTypeExample Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> SumTypeExample -> ShowS # show :: SumTypeExample -> String # showList :: [SumTypeExample] -> ShowS #
Eq SumTypeExample Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: SumTypeExample -> SumTypeExample -> Bool # (/=) :: SumTypeExample -> SumTypeExample -> Bool #
type Rep SumTypeExample Source #
Instance details Defined in Web.Rep.Examples type Rep SumTypeExample = D1 ('MetaData "SumTypeExample" "Web.Rep.Examples" "web-rep-0.10.1-IsL1Sc2Kv7hBdkd4T3gPsn" 'False) (C1 ('MetaCons "SumInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "SumOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SumText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

repSumTypeExample :: Monad m => Int -> Text -> SumTypeExample -> SharedRep m SumTypeExample Source #

data SumType2Example Source #

Constructors

SumOutside Int
SumInside SumTypeExample

Instances

Instances details

Generic SumType2Example Source #
Instance details Defined in Web.Rep.Examples Associated Types type Rep SumType2Example :: Type -> Type # Methods from :: SumType2Example -> Rep SumType2Example x # to :: Rep SumType2Example x -> SumType2Example #
Show SumType2Example Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> SumType2Example -> ShowS # show :: SumType2Example -> String # showList :: [SumType2Example] -> ShowS #
Eq SumType2Example Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: SumType2Example -> SumType2Example -> Bool # (/=) :: SumType2Example -> SumType2Example -> Bool #
type Rep SumType2Example Source #
Instance details Defined in Web.Rep.Examples type Rep SumType2Example = D1 ('MetaData "SumType2Example" "Web.Rep.Examples" "web-rep-0.10.1-IsL1Sc2Kv7hBdkd4T3gPsn" 'False) (C1 ('MetaCons "SumOutside" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "SumInside" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SumTypeExample)))

repSumType2Example :: Monad m => Int -> Text -> SumTypeExample -> SumType2Example -> SharedRep m SumType2Example Source #

listExample :: Monad m => Int -> SharedRep m [Int] Source #

listRepExample :: Monad m => Int -> SharedRep m [Int] Source #

fiddleExample :: Concerns Text Source #