From 16a674dab73893657f040bbd15a04bf0ec5c44a7 Mon Sep 17 00:00:00 2001 From: picca Date: Mon, 8 Feb 2016 10:33:22 +0000 Subject: --- doc/forum/howto_mapM_RevertableProperty.mdwn | 52 ++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 doc/forum/howto_mapM_RevertableProperty.mdwn (limited to 'doc/forum/howto_mapM_RevertableProperty.mdwn') diff --git a/doc/forum/howto_mapM_RevertableProperty.mdwn b/doc/forum/howto_mapM_RevertableProperty.mdwn new file mode 100644 index 00000000..7ebcbd47 --- /dev/null +++ b/doc/forum/howto_mapM_RevertableProperty.mdwn @@ -0,0 +1,52 @@ +Hello + +I have this kind of property + + myProperty :: Conf -> RevertableProperty NoInfo + + +now I have a [Conf] and I want to create also a RevertableProperty NoInfo which apply myProperty for each Conf + +I tried to find an equivalent of mapM for properties but I found nothing which works as expected. + +I tried with combineProperties but it failed also with a "cryptic message" +mpoints is the [Conf] + + + src/config.hs:250:17: + Couldn't match type `CInfo + (PropertyListType (Property [NoInfo])) + (PropertyListType (Property [NoInfo]))' + with `NoInfo' + Expected type: RevertableProperty NoInfo + Actual type: RevertableProperty + (CInfo + (PropertyListType (Property [NoInfo])) + (PropertyListType (Property [NoInfo]))) + In the expression: mount umount + In an equation for `mountExp': + mountExp b + = mount umount + where + mount + = combineProperties + "mount nfs files" (mapM mount'' mpoints) + umount + = combineProperties + "umount nfs files" (mapM umount'' mpoints) + mpoints + = [MountConf + "nfs" + ("ruche-" + ++ + beamline ++ ".mydomain.org:/" ++ beamline ++ "-users") + ("/nfs/ruche-" ++ beamline ++ "/" ++ beamline ++ "-users"), + ....] + beamline = show b + +What is the right way to create a RevertableProperty from a list of RevertableProperty + +thanks + +Frederic + -- cgit v1.2.3