| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Nbparts.Types
Documentation
module Nbparts.Types.Manifest
module Nbparts.Types.Sources
module Nbparts.Types.Outputs
module Nbparts.Types.Metadata
module Nbparts.Types.Mime
module Nbparts.Types.Error
data SomeNotebook where Source #
Constructors
| SomeNotebook :: forall a. (ToJSON (Notebook a), FromJSON (Notebook a)) => Notebook a -> SomeNotebook |
Instances
| FromJSON SomeNotebook Source # | |
Defined in Nbparts.Types | |
| ToJSON SomeNotebook Source # | |
Defined in Nbparts.Types Methods toJSON :: SomeNotebook -> Value # toEncoding :: SomeNotebook -> Encoding # toJSONList :: [SomeNotebook] -> Value # toEncodingList :: [SomeNotebook] -> Encoding # omitField :: SomeNotebook -> Bool # | |
| Show SomeNotebook Source # | |
Defined in Nbparts.Types Methods showsPrec :: Int -> SomeNotebook -> ShowS # show :: SomeNotebook -> String # showList :: [SomeNotebook] -> ShowS # | |
withSomeNotebook :: SomeNotebook -> (forall a. (ToJSON (Notebook a), FromJSON (Notebook a)) => Notebook a -> r) -> r Source #