Safe Haskell	Safe-Inferred
Language	GHC2021

WikiMusic.Model.Thread

Documentation

data Thread a Source #

Constructors

Thread a [Thread a]

Instances

Instances details

FromJSON a => FromJSON (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods parseJSON :: Value -> Parser (Thread a) # parseJSONList :: Value -> Parser [Thread a] # omittedField :: Maybe (Thread a) #
ToJSON a => ToJSON (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods toJSON :: Thread a -> Value # toEncoding :: Thread a -> Encoding # toJSONList :: [Thread a] -> Value # toEncodingList :: [Thread a] -> Encoding # omitField :: Thread a -> Bool #
Generic (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread Associated Types type Rep (Thread a) :: Type -> Type # Methods from :: Thread a -> Rep (Thread a) x # to :: Rep (Thread a) x -> Thread a #
Show a => Show (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods showsPrec :: Int -> Thread a -> ShowS # show :: Thread a -> String # showList :: [Thread a] -> ShowS #
Eq a => Eq (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods (==) :: Thread a -> Thread a -> Bool # (/=) :: Thread a -> Thread a -> Bool #
type Rep (Thread a) Source #
Instance details Defined in WikiMusic.Model.Thread type Rep (Thread a) = D1 ('MetaData "Thread" "WikiMusic.Model.Thread" "wikimusic-model-hs-1.2.0.0-2AFmU6Rx8U3ctQHH6pLAk" 'False) (C1 ('MetaCons "Thread" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Thread a])))

data ThreadRender a Source #

Constructors

ThreadRender
Fields node :: a subNodes :: [ThreadRender a]

Instances

Instances details

FromJSON a => FromJSON (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods parseJSON :: Value -> Parser (ThreadRender a) # parseJSONList :: Value -> Parser [ThreadRender a] # omittedField :: Maybe (ThreadRender a) #
ToJSON a => ToJSON (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods toJSON :: ThreadRender a -> Value # toEncoding :: ThreadRender a -> Encoding # toJSONList :: [ThreadRender a] -> Value # toEncodingList :: [ThreadRender a] -> Encoding # omitField :: ThreadRender a -> Bool #
Generic (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Associated Types type Rep (ThreadRender a) :: Type -> Type # Methods from :: ThreadRender a -> Rep (ThreadRender a) x # to :: Rep (ThreadRender a) x -> ThreadRender a #
Show a => Show (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods showsPrec :: Int -> ThreadRender a -> ShowS # show :: ThreadRender a -> String # showList :: [ThreadRender a] -> ShowS #
Eq a => Eq (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods (==) :: ThreadRender a -> ThreadRender a -> Bool # (/=) :: ThreadRender a -> ThreadRender a -> Bool #
ToSchema a => ToSchema (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread Methods declareNamedSchema :: Proxy (ThreadRender a) -> Declare (Definitions Schema) NamedSchema #
type Rep (ThreadRender a) Source #
Instance details Defined in WikiMusic.Model.Thread type Rep (ThreadRender a) = D1 ('MetaData "ThreadRender" "WikiMusic.Model.Thread" "wikimusic-model-hs-1.2.0.0-2AFmU6Rx8U3ctQHH6pLAk" 'False) (C1 ('MetaCons "ThreadRender" 'PrefixI 'True) (S1 ('MetaSel ('Just "node") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "subNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ThreadRender a])))

mkThreads :: [a] -> (a -> a -> Bool) -> (a -> Maybe b) -> [Thread a] Source #

renderThread :: Thread a -> ThreadRender a Source #