Safe Haskell	None
Language	Haskell2010

Web.Rep.Examples

Synopsis

page1 :: Page
page2 :: Page
pagemj :: Page
cfg2 :: PageConfig
data RepExamples = RepExamples {
- repTextbox :: Text
- repTextarea :: Text
- repSliderI :: Int
- repSlider :: 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

pagemj :: Page Source #

simple mathjax formulae

cfg2 :: PageConfig Source #

data RepExamples Source #

One of each sharedrep input instances.

Constructors

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

Instances

Eq RepExamples Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: RepExamples -> RepExamples -> Bool # (/=) :: RepExamples -> RepExamples -> Bool #
Show RepExamples Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> RepExamples -> ShowS # show :: RepExamples -> String # showList :: [RepExamples] -> ShowS #
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 #
type Rep RepExamples Source #
Instance details Defined in Web.Rep.Examples type Rep RepExamples = D1 (MetaData "RepExamples" "Web.Rep.Examples" "web-rep-0.7.0-FbnLiBhVUXzFOFUBGflJ1L" False) (C1 (MetaCons "RepExamples" PrefixI True) (((S1 (MetaSel (Just "repTextbox") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "repTextarea") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "repSliderI") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: (S1 (MetaSel (Just "repSlider") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double) :: S1 (MetaSel (Just "repCheckbox") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :: ((S1 (MetaSel (Just "repToggle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "repDropdown") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :: (S1 (MetaSel (Just "repDropdownMultiple") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Int]) :: (S1 (MetaSel (Just "repShape") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Shape) :*: S1 (MetaSel (Just "repColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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

Eq Shape Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #
Show Shape Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
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 #
type Rep Shape Source #
Instance details Defined in Web.Rep.Examples type Rep Shape = D1 (MetaData "Shape" "Web.Rep.Examples" "web-rep-0.7.0-FbnLiBhVUXzFOFUBGflJ1L" 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

Eq SumTypeExample Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: SumTypeExample -> SumTypeExample -> Bool # (/=) :: SumTypeExample -> SumTypeExample -> Bool #
Show SumTypeExample Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> SumTypeExample -> ShowS # show :: SumTypeExample -> String # showList :: [SumTypeExample] -> ShowS #
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 #
type Rep SumTypeExample Source #
Instance details Defined in Web.Rep.Examples type Rep SumTypeExample = D1 (MetaData "SumTypeExample" "Web.Rep.Examples" "web-rep-0.7.0-FbnLiBhVUXzFOFUBGflJ1L" False) (C1 (MetaCons "SumInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "SumOnly" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SumText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

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

data SumType2Example Source #

Constructors

SumOutside Int
SumInside SumTypeExample

Instances

Eq SumType2Example Source #
Instance details Defined in Web.Rep.Examples Methods (==) :: SumType2Example -> SumType2Example -> Bool # (/=) :: SumType2Example -> SumType2Example -> Bool #
Show SumType2Example Source #
Instance details Defined in Web.Rep.Examples Methods showsPrec :: Int -> SumType2Example -> ShowS # show :: SumType2Example -> String # showList :: [SumType2Example] -> ShowS #
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 #
type Rep SumType2Example Source #
Instance details Defined in Web.Rep.Examples type Rep SumType2Example = D1 (MetaData "SumType2Example" "Web.Rep.Examples" "web-rep-0.7.0-FbnLiBhVUXzFOFUBGflJ1L" False) (C1 (MetaCons "SumOutside" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "SumInside" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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 #