Θ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  None None  None   None None  None    %        NoneNone NoneNoneIGiven a set of roles to check, and a set of implication rules describing M how a given role inherits from other roles, this function produces a stream A of expanded Roles. If a Role is seen twice, expandRoles mzeros. # !"#$%&'()*+,-./0123456789:;# !"#$%&'()*+,-./0123456789:;# !"#$%&'()*+,-./0123456789:;None<"Arbitrary payload with timestamp. =Inject the payload >)Validate session against timeout policy.  If timeout is set to ?, never trigger a time-out. H Otherwise, do a regular time-out check based on current time and given  timestamp. @Serialize UTCTime <A Cookie name Encryption key Timeout in seconds = Cookie name Encryption key Max age in seconds Serializable payload >@<A=><A=>@None B#Load a session from given payload. IWill always be called before any other operation. If possible, cache and F do nothing when called multiple times within the same request cycle. C2Commit session, return a possibly updated paylaod DReset session ETouch session F%Insert a key-value pair into session GLookup a key in session HDelete a key in session I5Return a session-specific CSRF protection token. See  mkCSRFToken for  help in creating the value. J2Return all key-value pairs as an association list +Any Haskell record that is a member of the K typeclass  can be stuffed inside a  to enable all session-related  functionality. KBCDEFGHIJL KBCDEFGHIJLK BCDEFGHIJLNone2High speed, mutable random number generator state -Perform given action, mutating the RNG state Create a new RNG (Generates a random salt of given length !Generate a randomized CSRF token MMNone 6Authetication settings defined at initialization time Currently not used/checked $Name of the desired remember cookie AHow long to remember when the option is used in rest of the API.  ?& means remember until end of session. Lockout strategy: ([MaxAttempts], [LockoutDuration]) Location of app's encryption key =Type representing the concept of a User in your application. #9This will be replaced by a role-based permission system. %Internal representation of a User$. By convention, we demand that the ) application is able to directly fetch a User using this identifier. HThink of this type as a secure, authenticated user. You should normally ; never see this type unless a user has been authenticated. (HAuthentication failures indicate what went wrong during authentication. F They may provide useful information to the developer, although it is L generally not advisable to show the user the exact details about why login  failed. *Locked out until given time .EPassword is clear when supplied by the user and encrypted later when  returned from the db. N2Default strength level to pass into makePassword. 1<The underlying encryption function, in case you need it for  external processing. 2AThe underlying verify function, in case you need it for external  processing. 3Turn a 0 password into an / password, ready to  be stuffed into a database. 5,Default AuthUser that has all empty values. 6@Set a new password for the given user. Given password should be ) clear-text; it will be encrypted into a /. 7Default settings for Auth.  asMinPasswdLen = 8 $ asRememberCookieName = "_remember" 2 asRememberPeriod = Just (2*7*24*60*60) = 2 weeks  asLockout = Nothing  asSiteKey = "site_key.txt" <  !"#$%&'()*+,-./0N12 Cleartext Encrypted reference 34567OPQRSTUVW3  !"#$%&'()*+,-./0N1234567   !"#$%&'(-,+*).0/N1234567OPQRSTUVWNone'8Snaplet's type parameter s- here is user-defined and can be any Haskell  type. A value of type  Snaplet s countains a couple of things:  a value of type s , called the " user state". H some bookkeeping data the framework uses to plug things together, like  the snaplet's configuration, the snaplet's root directory on the  filesystem, the snaplet's root URL, and so on. 9HAn opaque data type holding internal snaplet configuration data. It is H exported publicly because the getOpaqueConfig function in MonadSnaplet C makes implementing new instances of MonadSnaplet more convenient. XCHolds the actual route pattern passed to addRoutes for the current E handler. Nothing during initialization and before route dispatech. Y2Joins a reversed list of directories into a path. Z2Joins a reversed list of directories into a path. :&Monad used for initializing snaplets. [DWrapper around IO actions that modify state elements created during  initialization. \@Information about a partially constructed initializer. Used to 7 automatically aggregate handlers and cleanup actions. ]-Handler routes built up and passed to route. ^Generic filtering of handlers _CThis snaplet config is the incrementally built config for whatever ) snaplet is currently being constructed. ;FSnaplet infrastructure is available during runtime request processing ' through the Handler monad. There aren'$t very many standalone functions to G read about here, but this is deceptive. The key is in the type class ' instances. Handler is an instance of `, which means it is the I monad you will use to write all your application routes. It also has a  <; instance, which gives you all the functionality described  above. <CThe m type parameter used in the MonadSnaplet type signatures will M usually be either Initializer or Handler, but other monads may sometimes be  useful. Minimal complete definition:  @, ?, A, and B. =2Runs a child snaplet action in the current snaplet's context. If you G think about snaplet lenses using a filesystem path metaphor, the lens H supplied to this snaplet must be a relative path. In other words, the  lens'6s base state must be the same as the current snaplet. >Like = but doesn')t impose the requirement that the action I being run be a descendant of the current snaplet. Using our filesystem @ metaphor again, the lens for this function must be an absolute  path--it'-s base must be the same as the current base. ? A variant of =3 accepting a lens from snaplet to snaplet. Unlike  the lens used in the above =% function, this lens formulation has C an identity, which makes it useful in certain circumstances. The  lenses generated by a# will not work with this function,  however the lens returned by A will.  with = with' . subSnaplet@The absolute version of ? A'Gets the lens for the current snaplet. BGets the current snaplet's opaque config data type. You' ll only use 4 this function when writing MonadSnaplet instances. CBA lens referencing the opaque SnapletConfig data type held inside  Snaplet. DEA lens referencing the user-defined state type wrapped by a Snaplet. EITransforms a lens of the type you get from makeLenses to an similar lens ) that is more suitable for internal use. FFGets a list of the names of snaplets that are direct ancestors of the  current snaplet. GGets the snaplet's path on the filesystem. HGets the current snaple's name. I2Gets a human readable description of the snaplet. J8Gets the config data structure for the current snaplet. KEGets the base URL for the current snaplet. Directories get added to & the current snaplet path by calls to  nestSnaplet. L Gets the  Snaplet v from the current snaplet' s state. M Puts a new  Snaplet v in the current snaplet' s state. N Modifies the  Snaplet v in the current snaplet' s state. O Gets the  Snaplet v from the current snaplet's state and applies a  function to it. PIGets the route pattern that matched for the handler. This lets you find A out exactly which of the strings you used in addRoutes matched. QGSets the route pattern that matched for the handler. Use this when to F override the default pattern which is the key to the alist passed to  addRoutes. RHandler that reloads the site. SDThis function brackets a Handler action in resource acquisition and  release. Like b(, this is provided because MonadCatchIO's  c function doesn'/t work properly in the case of a short-circuit ) return from the action being bracketed. ;In order to prevent confusion regarding the effects of the D aquisition and release actions on the Handler state, this function  doesn'=t accept Handler actions for the acquire or release actions. AThis function will run the release action in all cases where the B acquire action succeeded. This includes the following behaviors ! from the bracketed Snap action.  Normal completion / Short-circuit completion, either from calling d or e  An exception being thrown. f?The MonadState instance gives you access to the current snaplet' s state. gHInformation needed to reload a site. Instead of having snaplets define M their own reload actions, we store the original site initializer and use it  instead. TGOpaque newtype which gives us compile-time guarantees that the user is E using makeSnaplet and either nestSnaplet or embedSnaplet correctly. N8hij9klmnopqXrYZ:s[t\uvw]^_x;y<=&A relative lens identifying a snaplet Action from the lense' s snaplet >An "absolute" lens identifying a snaplet Action from the lense' s snaplet ?@ABz{|}~CDEFGHIJKLMNOPQRSfgTJ8hij9klmnopqXrYZ:s[t\uvw]^_x;y<=>?@ABz{|}~CDEFGHIJKLMNOPQRSgT.8hij9 klmnopqXrYZ:s[t\uvw]^_x;y<=>?@ABz{|}~CDEFGHIJKLMNOPQRSfgTNone+Converts a plain hook into a Snaplet hook. UGAdds an IO action that modifies the current snaplet state to be run at I the end of initialization on the state that was created. This makes it  easier to allow one snaplet')s state to be modified by another snaplet's K initializer. A good example of this is when a snaplet has templates that 3 define its views. The Heist snaplet provides the  addTemplates function = which allows other snaplets to set up their own templates.  addTemplates % is implemented using this function. VJVariant of addPostInitHook for when you have things wrapped in a Snaplet. Modifies the Initializer's SnapletConfig. W6All snaplet initializers must be wrapped in a call to  makeSnaplet, A which handles standardized housekeeping common to all snaplets. ' Common usage will look something like  this:    fooInit :: SnapletInit b Foo  fooInit = makeSnaplet "foo" "An example snaplet" Nothing $ do # -- Your initializer code here  return $ Foo 42  Note that you';re writing your initializer code in the Initializer monad, K and makeSnaplet converts it into an opaque SnapletInit type. This allows E us to use the type system to ensure that the API is used correctly. CBrackets an initializer computation, restoring curConfig after the  computation returns. XRuns another snaplet'2s initializer and returns the initialized Snaplet J value. Calling an initializer with nestSnaplet gives the nested snaplet L access to the same base state that the current snaplet has. This makes it I possible for the child snaplet to make use of functionality provided by  sibling snaplets. YRuns another snaplet'2s initializer and returns the initialized Snaplet G value. The difference between this and nestSnaplet is the first type ' parameter in the third argument. The "v1 v1" makes the child snaplet I think that it is top-level, which means that it will not be able to use K functionality provided by snaplets included above it in the snaplet tree. M This strongly isolates the child snaplet, and allows you to eliminate the b M type variable. The embedded snaplet can still get functionality from other > snaplets, but only if it nests or embeds the snaplet itself. ZSets a snaplet'5s name. All snaplets have a default name set by the L snaplet author. This function allows you to override that name. You will H have to do this if you have more than one instance of the same kind of C snaplet because snaplet names must be unique. This function must ! immediately surround the snaplet's initializer. For example:  fooState <- nestSnaplet "fooA" $ nameSnaplet "myFoo" $ fooInit[Adds routing to the current ;". The new routes are merged with M the main routing section and take precedence over existing routing that was  previously defined. \Wraps the snaplet'7s routing. This can be used to provide a snaplet that L does per-request setup and cleanup, but then dispatches to the rest of the  application. ]GAttaches an unload handler to the snaplet. The unload handler will be 4 called when the server shuts down, or is reloaded. ^EInitializers should use this function for all informational or error L messages to be displayed to the user. On application startup they will be J sent to the console. When executed from the reloader, they will be sent ( back to the user in the HTTP response. DInternal function for running Initializers. If any exceptions were I thrown by the initializer, this function catches them, runs any cleanup I actions that had been registered, and returns an expanded error message K containing the exception details as well as all messages generated by the . initializer before the exception was thrown. _JGiven a Snaplet initializer, produce the set of messages generated during 7 initialization, a snap handler, and a cleanup action. `FGiven a configuration and a snap handler, complete it and produce the L completed configuration as well as a new toplevel handler with things like ' compression and a 500 handler set up. aDServes a top-level snaplet as a web application. Reads command-line " arguments. FIXME: document this. UVW;A default id for this snaplet. This is only used when the D end-user has not already set an id using the nameSnaplet function. .A human readable description of this snaplet. -The path to the directory holding the snaplet' s reference ? filesystem content. This will almost always be the directory  returned by Cabal'1s getDataDir command, but it has to be passed in C because it is defined in a package-specific import. Setting this  value to Nothing doesn',t preclude the snaplet from having files in / in the filesystem, it just means that they won't be copied there  automatically. Snaplet initializer. X The root url for all the snaplet's routes. An empty string 5 gives the routes the same root as the parent snaplet' s routes. Lens identifying the snaplet -The initializer function for the subsnaplet. Y The root url for all the snaplet's routes. An empty string 5 gives the routes the same root as the parent snaplet' s routes. 4NOTE: Because of the stronger isolation provided by ? embedSnaplet, you should be more careful about using an empty  string here. Lens identifying the snaplet -The initializer function for the subsnaplet. ZThe snaplet name !The snaplet initializer function [\]^_`aUVWXYZ[\]^_`aUVWXYZ[\]^_`aNonebKThis function derives all the information necessary to use the interpreter N from the compile-time environment, and compiles it in to the generated code. 8This could be considered a TH wrapper around a function  > loadSnap :: Typeable a => IO a -> (a -> IO (Snap (), IO ())) > -> [String] -> IO (a, Snap (), IO ()) *with a magical implementation. The [String] argument is a list of F directories to watch for updates to trigger a reloading. Directories C containing code should be automatically picked up by this splice. LThe generated splice executes the initialiser once, sets up the interpreter 3 for the load function, and returns the initializer's result along with the  interpreter'?s proxy handler and cleanup actions. The behavior of the proxy M actions will change to reflect changes in the watched files, reinterpreting H the load function as needed and applying it to the initializer result. KThis will handle reloading the application successfully in most cases. The M cases in which it is certain to fail are those involving changing the types K of the initializer or the load function, or changing the compiler options  required, such as by changing/"adding dependencies in the project' s .cabal 8 file. In those cases, a full recompile will be needed. bthe initializer expression the name of the load function +a list of directories to watch in addition  to those containing code bbbNonec@This function provides a non-magical type-compatible loader for @ the one in Snap.Loader.Devel, allowing switching one import to & provide production-mode compilation. 8This could be considered a TH wrapper around a function  > loadSnap :: Typeable a => IO a -> (a -> IO (Snap (), IO ())) > -> [String] -> IO (a, Snap (), IO ()) 3The third argument is unused, and only present for + type-compatibility with Snap.Loader.Devel ccccNone*89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a*89CDE<=>?@ABFGHIJKPQLMNO:TWXYZ]UV^[\;RS_`aNonedType alias for convenience. eMonad for working with Heist's API from within a snaplet. fGThe state for the Heist snaplet. To use the Heist snaplet in your app 0 include this in your application state and use m to initialize J it. The type parameter b will typically be the base state type for your  application. gJClears data stored by the cache tag. The cache tag automatically reloads H its data when the specified TTL expires, but sometimes you may want to ; trigger a manual reload. This function lets you do that. Runs the SnapletSplice. hJLifts a HeistT action into SnapletHeist. Use this with all the functions  from the Heist API. i=Common idiom for the combination of liftHandler and withTop. j#Lifts a Handler into SnapletHeist. k)Lifts a (Handler b b) into SnapletHeist. l'SnapletSplices version of bindSplices. mThe : for f). This function is a convenience wrapper  around n that uses the default  HeistState and sets up  routes for all the templates. nA lower level : for f!. This initializer requires you I to specify the initial HeistState. It also does not add any routes for K templates, allowing you complete control over which templates get routed. CAdds templates to the Heist HeistState. Other snaplets should use L this function to add their own templates. The templates are automatically 9 read from the templates directory in the current snaplet's filesystem root. CAdds templates to the Heist HeistState, and lets you specify where G they are found in the filesystem. Note that the path to the template K directory is an absolute path. This allows you more flexibility in where H your templates are located, but means that you have to explicitly call I getSnapletFilePath if you want your snaplet to use templates within its  normal directory structure. EMonadSnaplet instance gives us access to the snaplet infrastructure. $This instance is here because we don'#t want the heist package to depend ! on anything from snap packages. !defghijklmPath to templates nPath to templates Initial HeistState 'The url prefix for the template routes URL prefix for template routes Path to templates Name of the template  Content type Name of the template defghijklmn!defghijklmnNoneoHA single snaplet should never need more than one instance of Heist as a L subsnaplet. This type class allows you to make it easy for other snaplets 9 to get the lens that identifies the heist snaplet. Here's an example of * how the heist snaplet might be declared: 2 data App = App { _heist :: Snaplet (Heist App) }  mkLabels [''App]  : instance HasHeist App where heistLens = subSnaplet heist  - appInit = makeSnaplet "app" "" Nothing $ do < h <- nestSnaplet "heist" heist $ heistInit "templates"  addSplices myAppSplices  return $ App h p<A lens to the Heist snaplet. The b parameter to Heist will 2 typically be the base state of your application. qCAdds templates to the Heist HeistState. Other snaplets should use L this function to add their own templates. The templates are automatically 9 read from the templates directory in the current snaplet's filesystem root. rCAdds templates to the Heist HeistState, and lets you specify where G they are found in the filesystem. Note that the path to the template K directory is an absolute path. This allows you more flexibility in where H your templates are located, but means that you have to explicitly call I getSnapletFilePath if you want your snaplet to use templates within its  normal directory structure. s Allows snaplets to add splices. tBMore general function allowing arbitrary HeistState modification. ! Without this function you wouldn'+t be able to bind more complicated splices  like the cache tag. u)Runs a function on with the Heist snaplet's . vRenders a template as text/*html. If the given template is not found,  this returns empty. wERenders a template as the given content type. If the given template  is not found, this returns empty. x Analogous to  fileServe0. If the template specified in the request path  is not found, it returns empty. y Analogous to fileServeSingle&. If the given template is not found,  this throws an error. zJRenders a template with a given set of splices. This is syntax sugar for > a common combination of heistLocal, bindSplices, and render. {<Runs an action with additional splices bound into the Heist  . |Runs a handler with a modified . You might want to use G this if you had a set of splices which were customised for a specific # action. To do that you would do: < heistLocal (bindSplices mySplices) handlerThatNeedsSplices opq'The url prefix for the template routes rURL prefix for template routes Path to templates sSplices to bind tHeistState modifying function uHeistState function to run vTemplate name wContent type to render with Template name xyTemplate name zTemplate name Splices to bind {Splices to bind Handler to run |HeistState modifying function Handler to run defghijklmnopqrstuvwxyz{|fopmnqrtusvwxy|{zedhjkilg opqrstuvwxyz{|None }HWrap around a handler, committing any changes in the session at the end ~;Commit changes to session within the current request cycle ,Set a key-value pair in the current session #Get a key from the current session &Remove a key from the current session 3Returns a CSRF Token unique to the current session /Return session contents as an association list >Deletes the session cookie, effectively resetting the session 0Touch the session so the timeout gets refreshed }~ }~ }~ }~None HAbstract data type holding all necessary information for auth operation Storage back-end #A lens pointer to a SessionManager #A per-request logged-in user cache Password length range #Cookie name for the remember token 1Remember period in seconds. Defaults to 2 weeks. 8A unique encryption key used to encrypt remember cookie 6Lockout after x tries, re-allow entry after y seconds Random number generator 6All storage backends need to implement this typeclass Backend operations may throw s Create or update the given  record. If the  in the  / already exists in the database, then that user's information E should be updated. If it does not exist, then a new user should be  created. 1Creates a new user from a username and password.  May throw a DuplicateLogin! if given username is not unique An auth backend  Username  Password  None4Create a new user from just a username and password  May throw a DuplicateLogin" if given username is not unique. 5Check whether a user with the given username exists. FLookup a user by her username, check given password and perform login DRemember user from the remember token if possible and perform login Logout the active user EReturn the current user; trying to remember from cookie if possible. Convenience wrapper around  rememberUser that returns a bool result Create or update a given user  May throw a  if something goes wrong. Destroy the given user  May throw a  if something goes wrong.  Mutate an  , marking failed authentication (This will save the user to the backend.  Mutate an $, marking successful authentication (This will save the user to the backend. FAuthenticate and log the user into the current session if successful. LThis is a mid-level function exposed to allow roll-your-own ways of looking  up a user from the database. This function will:  Check the password ) Login the user into the current session  Mark success/7failure of the authentication trial on the user record Login and persist the given  in the active session JMeant to be used if you have other means of being sure that the person is  who she says she is. Set the current user's % in the active session Remove %8 from active session, effectively logging the user out. Get the current user's % from the active session !Check password for a given user. Returns Nothing if check is successful and an IncorrectPassword error  otherwise (Wrap lookups around request-local cache 5Register a new user by specifying login and password Param fields A `& handler that processes a login form. %The request paremeters are passed to  performLogin ?Simple handler to log the user out. Deletes user from session. Require that an authenticated  is present in the current  session. JThis function has no DB cost - only checks to see if a user_id is present  in the current session. 6Run a function on the backend, and return the result. <This uses an existential type so that the backend type doesn't  escape5 AuthManager. The reason that the type is Handler b ? (AuthManager v) a and not a is because anything that uses the A backend will return an IO something, which you can liftIO, or a > Handler b (AuthManager v) a if it uses other handler things.  Username  Password The username to be checked Username/login for user Should be ClearText Set remember token? ,An existing user, somehow looked up from db A ClearText password ,An existing user, somehow looked up from db Looked up from the back-end Check against this password 9Lookup action to perform if request local cache is empty  Login field Password field Username field Password field :Remember field; Nothing if you want no remember function.  Upon failure  Upon success What to do after logging out Lens reference to an  AuthManager -Do this if no authenticated user is present. -Do this if an authenticated user is present. &The function to run with the handler. None>Add all standard auth splices to a Heist-enabled application. !This adds the following splices:  < ifLoggedIn>  < ifLoggedOut> IA splice that can be used to check for existence of a user. If a user is 2 present, this will run the contents of the node. E <ifLoggedIn> Show this when there is a logged in user </ifLoggedIn> GA splice that can be used to check for absence of a user. If a user is 6 not present, this will run the contents of the node. G <ifLoggedOut> Show this when there is a logged in user </ifLoggedOut> 0A splice that will simply print the current user' s login, if  there is one. A lens reference to  NoneZ  !"#$%&'()*+,-./01234567Z 7 !"5%&'.0/(-,+*)#$34612NoneInitialize a JSON file backed  Load/<create a datafile into memory cache and return the manager. .This data type can be used by itself for batch/non-handler processing. %Authentication settings for your app  Lens into a  auth snaplet will  use !Where to store user data as JSON  None0Initialize a cookie-backed session, returning a  to be  stuffed inside your application's state. This  will enable 9 the use of all session storage functionality defined in   !Path to site-wide encryption key Session cookie name ,Session time-out (replay attack protection) Nonerd      !"#a$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNbOPQRSTUVWXYZ[\]^_`abcdefghijklmneopqrs`tuvwxyz{|}~89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a !"#$%%&''()*+,--./0123456789:;<=>??@@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{||}~     X W   X W           ? ?             !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijefklmnFopefqrsRtuSvwxyz{|T`a}~UsnF   FoFoFoFoFFFFoFoFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFo     hi hi!"#$"#%&'()*+)*,)*-)*."/0"/1"23"24)*5"#6"#6"#7"#8"#9"#:"#;"#<"#="#>"#?"#@eABeACefDefEefFefGefHefIefJefKefLefMefNefOefPefQefRefSefTefUefVefWefXefYefZef[ef\ef]ef^ef_ef`efaefbefcefdefeeffefgefhefiefjefkeflefmefnefoefpefqefrefseftefuefvefwefxefyefefzefze{|e}~e}e}e}e}e}eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee snap-0.8.0.2Snap.Snaplet.SessionSnap.Snaplet.Session.CommonSnap.Snaplet.Auth Snap.SnapletSnap.Loader.DevelSnap.Loader.ProdSnap.Snaplet.Heist#Snap.Snaplet.Auth.Backends.JsonFile+Snap.Snaplet.Session.Backends.CookieSessionSnap.Snaplet.Internal.RSTSnap.Snaplet.Internal.LensedSnap.Snaplet.Internal.LensT&Control.Access.RoleBased.Internal.Role&Control.Access.RoleBased.Internal.Rule'Control.Access.RoleBased.Internal.TypesControl.Access.RoleBased.RoleControl.Access.RoleBased.Types)Control.Access.RoleBased.Internal.RoleMap Control.Access.RoleBased.Checker!Snap.Snaplet.Session.SecureCookie#Snap.Snaplet.Session.SessionManagerSnap.Snaplet.Auth.TypesSnap.Snaplet.Internal.Types!Snap.Snaplet.Internal.InitializerSnap.Snaplet.HeistNoClassSnap.Snaplet.Auth.AuthManagerSnap.Snaplet.Auth.HandlersSnap.Snaplet.Auth.SpliceHelpersSessionSnapSessionManagerRNGwithRNGmkRNG randomToken mkCSRFToken BackendErrorDuplicateLogin AuthSettingsasMinPasswdLenasRememberCookieNameasRememberPeriod asLockout asSiteKeyAuthUseruserId userLogin userPassworduserActivatedAtuserSuspendedAtuserRememberTokenuserLoginCountuserFailedLoginCountuserLockedOutUntiluserCurrentLoginAtuserLastLoginAtuserCurrentLoginIpuserLastLoginIp userCreatedAt userUpdatedAt userRolesuserMetaRoleUserIdunUid AuthFailure AuthError LockedOutPasswordMissingIncorrectPassword UserNotFoundPassword Encrypted ClearTextencryptverifyencryptPassword checkPassword defAuthUser setPassworddefAuthSettingsSnaplet SnapletConfig InitializerHandler MonadSnapletwithwithTopwith'withTop'getLensgetOpaqueConfig snapletConfig snapletValue subSnapletgetSnapletAncestrygetSnapletFilePathgetSnapletNamegetSnapletDescriptiongetSnapletUserConfiggetSnapletRootURLgetSnapletStateputSnapletStatemodifySnapletStategetsSnapletStategetRoutePatternsetRoutePattern reloadSitebracketHandler SnapletInitaddPostInitHookaddPostInitHookBase makeSnaplet nestSnaplet embedSnaplet nameSnaplet addRoutes wrapHandlersonUnload printInfo runSnaplet combineConfig serveSnaplet loadSnapTH SnapletSplice SnapletHeistHeistclearHeistCache liftHeistliftWith liftHandlerliftAppHandlerbindSnapletSplices heistInit heistInit'HasHeist heistLens addTemplatesaddTemplatesAt addSplices modifyHeistTS withHeistTSrenderrenderAs heistServeheistServeSinglerenderWithSplices withSplices heistLocal withSession commitSession setInSessiongetFromSessiondeleteFromSession csrfToken sessionToList resetSession touchSession AuthManagerbackendsession activeUser minPasswdLenrememberCookieNamerememberPeriodsiteKeylockoutrandomNumberGenerator IAuthBackendsavelookupByUserId lookupByLoginlookupByRememberTokendestroy createUserusernameExistsloginByUsernameloginByRememberTokenlogout currentUser isLoggedInsaveUser destroyUser markAuthFailmarkAuthSuccesscheckPasswordAndLogin forceLoginauthenticatePassword registerUser loginUser logoutUser requireUser withBackendaddAuthSplices ifLoggedIn ifLoggedOut loggedInUserinitJsonFileAuthManager mkJsonAuthMgrinitCookieSessionManagerRSTrunRSTevalRSTexecRSTwithRSTmapRSTrwsBind $fMonadIORST$fMonadTransRST$fMonadPlusRST $fMonadRST$fMonadSnapRST$fMonadCatchIORST$fMonadStatesRST$fAlternativeRST$fApplicativeRST $fFunctorRST$fMonadReaderrRSTLensedunlensedgetBaseembedgloballylocally lensedAsState runLensed$fMonadSnapLensed$fAlternativeLensed$fMonadPlusLensed$fMonadCatchIOLensed$fMonadIOLensed$fMonadTransLensed$fMonadReaderLensLensed$fMonadStatevLensed $fMonadLensed$fApplicativeLensed$fFunctorLensedLensTputBaselGetlPutrunLensT withLensT$fMonadStatevLensT RoleMetadata_roleMetadataName_roleDescription _roleDataDefsRoleDataDefinition _roleDataName_roleValueMeta_roleDataDescription RoleValueMetaRoleDoubleMeta RoleIntMeta RoleEnumMeta RoleTextMeta RoleBoolMeta _roleName _roleData RoleValue RoleDoubleRoleIntRoleTextRoleBool toSortedList$fHashableRole$fIsStringRole$fHashableRoleValue$fIsStringRoleValueRuleSetRule ruleToSet rulesToSet$fMonoidRuleSet RuleChecker RoleMonad_unRCmatches addRoleDataRoleMapfromListlookupdeleteinsertemptynull expandRoles RoleBuilder applyRule applyRuleSet checkUnseen checkSeenmarkSeenisumhasRole missingRole hasAllRoles hasAnyRolesrunRuleCheckermkRuleimplies impliesWith testRulestXt1t2t3t4t5t6t7t8t9t10t11t12t13t14t15t16t17 SecureCookiesetSecureCookie checkTimeoutbase Data.MaybeNothing$fSerializeUTCTimegetSecureCookieloadcommitresettouchcsrftoListISessionManager$fSerializeTextdefaultStrength$fFromJSONRole $fToJSONRole$fFromJSONPassword$fToJSONPassword$fFromJSONAuthUser$fToJSONAuthUser$fExceptionBackendError$fErrorAuthFailure$fExceptionAuthFailure_scRoutePattern buildPath getRootURLHookInitializerState _handlers_hFilter _curConfigsnap-core-0.8.0Snap.Internal.Types MonadSnapdata-lens-template-2.1.3Data.Lens.Template makeLenses bracketSnap!MonadCatchIO-transformers-0.2.2.3Control.Monad.CatchIObracketGHC.Basefail finishWith$fMonadStatevHandler ReloadInfo_snapletConfig _snapletValue _scAncestry _scFilePath_scId_scDescription _scUserConfig_scRouteContext _reloader _isTopLevel_cleanup _initMessages scAncestry scFilePathscId scDescription scUserConfigscRouteContextscRoutePatternreloader $fMonoidHook$fMonadSnapletHandlerriRefriAction isTopLevelcleanuphandlershFilter curConfig initMessages$fMonadSnapletInitializer toSnapletHook modifyCfg bracketInitrunInitializerrunSnapletSplice Data.Monoidmempty$fMonadSnapletSnapletHeist$fMonadSnapHeistTmodifyHeistTS' withHeistTS' addSplices' heistLocal' withSplices'renderWithSplices'$fMonadStatevSnapletHeist heist-0.8.0Text.Templating.Heist.Types HeistState buildAuthUsersetSessionUserIdremoveSessionUserIdgetSessionUserId cacheOrLookupgetRememberTokensetRememberTokenforgetRememberToken$fFromJSONUserCache$fToJSONUserCache!$fIAuthBackendJsonFileAuthManager $fFromJSONMap $fToJSONMap%$fISessionManagerCookieSessionManager$fSerializeHashMap$fSerializeCookieSession>>=>>fmapreturnControl.Monad.Fixmfix Control.MonadguardliftMMonadFunctorMonadFix MonadPlusControl.Applicative Applicative<*> Data.Functor<$> AlternativemplusmzerooptionalliftA3liftA2liftA<**><**>puremanysome<|>getConstConst unwrapMonad WrapMonad WrappedMonad unwrapArrow WrapArrow WrappedArrow getZipListZipList Data.FunctionfixmfilterapliftM5liftM4liftM3liftM2unlesswhen replicateM_ replicateMfoldM_foldM zipWithM_zipWithM mapAndUnzipMjoinvoidforever<=<>=>msumforM_forMfilterMmapM_mapM sequence_sequence=<<<$data-lens-2.0.2Data.Lens.Common intSetLenssetLens intMapLensmapLenssndLensfstLens^!/=^/=^!*=^!-=^!+=^*=^-=^+=^%%=^!%=^%=modL^!=^=setL^!^.^$!^$getLisolensrunLensLens nameMakeLensmakeLenstransformers-0.2.2.0Control.Monad.Trans.State.Lazy evalStateT runStateTenumerator-0.4.18Data.Enumerator.Internal Enumerator mtl-2.0.1.0Control.Monad.State.ClassmodifyputgetgetsControl.Monad.IO.ClassliftIOMonadIOControl.Monad.Trans.Classlift MonadTrans MonadStateStateTStatestaterunState evalState execStatemapState withState execStateT mapStateT withStateTSnap.Internal.Routing routeLocalroutegetTimeoutModifiergetTimeoutAction modifyTimeout extendTimeout setTimeout expireCookie readCookie getCookiegetQueryParams getPostParams getParams getQueryParam getPostParamgetParamrunSnap escapeHttpterminateConnectionipHeaderFilter'ipHeaderFilter withResponse withRequest localRequestsendFilePartialsendFile writeLazyText writeTextwriteLBSwriteBS writeBuilder addToOutputlogError redirect'redirectmodifyResponse modifyRequest putRequest putResponse getsResponse getResponse getsRequest getRequestifToppathArgpathdirmethodsmethodpasscatchFinishWithtransformRequestBodyreadRequestBodygetRequestBodyrunRequestBodyliftSnapNoHandlerExceptionSnap.Internal.ExceptionsEscapeHttpHandlerSnap.Internal.ParsingprintUrlEncodedbuildUrlEncodedparseUrlEncodedurlEncodeBuilder urlEncode urlDecodeSnap.Internal.Http.Types parseHttpTimeformatHttpTimesetBufferingModegetBufferingModeclearContentLengthsetContentLengthmodifyResponseCookiedeleteResponseCookiegetResponseCookiesgetResponseCookieaddResponseCookiesetContentTypemodifyResponseBodysetResponseCodesetResponseStatussetResponseBody emptyResponse rqSetParamrqModifyParams rqQueryParam rqPostParamrqParam deleteHeader listHeaders getHeader getHeaders setHeader addHeaderheaders updateHeaders HasHeadersGETHEADPOSTPUTDELETETRACEOPTIONSCONNECTMethod HttpVersioncookieHttpOnly cookieSecure cookiePath cookieDomain cookieExpires cookieValue cookieNameCookieParamsSomeEnumerator rqPostParams rqQueryParamsrqParams rqQueryStringrqURI rqContextPath rqPathInfo rqCookies rqVersionrqMethodrqContentLength rqIsSecurerqLocalHostname rqLocalAddr rqRemotePort rqRemoteAddr rqServerPort rqServerNameRequestrspStatusReason rspStatusResponseSnap.Types.HeadersHeaderssnap-server-0.8.0Snap.Http.ServersetUnicodeLocalequickHttpServe httpServesimpleHttpServesnapServerVersionSnap.Http.Server.ConfigcommandLineConfig optDescrscompleteConfig setProxyType setBackendsetOthersetDefaultTimeoutsetErrorHandler setVerbosesetCompression setSSLKey setSSLCert setSSLBind setSSLPortsetBindsetPort setLocale setErrorLog setAccessLog setHostname getProxyType getBackendgetOthergetDefaultTimeoutgetErrorHandler getVerbosegetCompression getSSLKey getSSLCert getSSLBind getSSLPortgetBindgetPort getLocale getErrorLog getAccessLog getHostname defaultConfig emptyConfigConfigSimpleBackendConfigLibEvBackend ConfigBackend ConfigNoLog ConfigFileLog ConfigIoLog ConfigLogConfig