Safe Haskell	Safe-Inferred
Language	Haskell2010

Emanote.Model.SData

Synopsis

data SData = SData {
- _sdataValue :: Value
- _sdataRoute :: R 'Yaml
}
type SDataIxs = '[R 'Yaml]
type IxSData = IxSet SDataIxs SData
sdataValue :: Lens' SData Value
sdataRoute :: Lens' SData (R 'Yaml)
parseSDataCascading :: R 'Yaml -> NonEmpty (FilePath, ByteString) -> Either Text SData
mergeAesons :: NonEmpty Value -> Value
mergeAeson :: Value -> Value -> Value
lookupAeson :: forall a. FromJSON a => a -> NonEmpty Text -> Value -> a
oneAesonText :: [Text] -> Text -> Value

Documentation

data SData Source #

S for "structured". Refers to a per-route data file represented by Aeson value. Example: foobar.yaml file

Constructors

SData
Fields _sdataValue :: Value _sdataRoute :: R 'Yaml Location of this data file

Instances

Instances details

ToJSON SData Source #
Instance details Defined in Emanote.Model.SData Methods toJSON :: SData -> Value # toEncoding :: SData -> Encoding # toJSONList :: [SData] -> Value # toEncodingList :: [SData] -> Encoding #
Data SData Source #
Instance details Defined in Emanote.Model.SData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SData -> c SData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SData # toConstr :: SData -> Constr # dataTypeOf :: SData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SData) # gmapT :: (forall b. Data b => b -> b) -> SData -> SData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SData -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SData -> r # gmapQ :: (forall d. Data d => d -> u) -> SData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SData -> m SData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SData -> m SData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SData -> m SData #
Generic SData Source #
Instance details Defined in Emanote.Model.SData Associated Types type Rep SData :: Type -> Type # Methods from :: SData -> Rep SData x # to :: Rep SData x -> SData #
Show SData Source #
Instance details Defined in Emanote.Model.SData Methods showsPrec :: Int -> SData -> ShowS # show :: SData -> String # showList :: [SData] -> ShowS #
Eq SData Source #
Instance details Defined in Emanote.Model.SData Methods (==) :: SData -> SData -> Bool # (/=) :: SData -> SData -> Bool #
Ord SData Source #
Instance details Defined in Emanote.Model.SData Methods compare :: SData -> SData -> Ordering # (<) :: SData -> SData -> Bool # (<=) :: SData -> SData -> Bool # (>) :: SData -> SData -> Bool # (>=) :: SData -> SData -> Bool # max :: SData -> SData -> SData # min :: SData -> SData -> SData #
Indexable SDataIxs SData Source #
Instance details Defined in Emanote.Model.SData Methods indices :: IxList SDataIxs SData #
type Rep SData Source #
Instance details Defined in Emanote.Model.SData type Rep SData = D1 ('MetaData "SData" "Emanote.Model.SData" "emanote-1.0.2.0-inplace" 'False) (C1 ('MetaCons "SData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sdataValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "_sdataRoute") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (R 'Yaml))))

type SDataIxs = '[R 'Yaml] Source #

type IxSData = IxSet SDataIxs SData Source #

sdataValue :: Lens' SData Value Source #

sdataRoute :: Lens' SData (R 'Yaml) Source #

parseSDataCascading :: R 'Yaml -> NonEmpty (FilePath, ByteString) -> Either Text SData Source #

mergeAesons :: NonEmpty Value -> Value Source #

Later values override former.

mergeAeson :: Value -> Value -> Value Source #

lookupAeson :: forall a. FromJSON a => a -> NonEmpty Text -> Value -> a Source #

oneAesonText :: [Text] -> Text -> Value Source #