-- A collection of Themes.moduleYi.Style.LibrarywhereimportYi.StyleimportData.PrototypeimportData.MonoidtypeTheme=ProtoUIStyle-- | Abstract theme that provides useful defaults.defaultTheme::ThemedefaultTheme=Proto$const$UIStyle{modelineAttributes=error"modeline attributes must be redefined!",modelineFocusStyle=withFgbrightwhite,tabBarAttributes=error"tabbar attributes must be redefined!",tabInFocusStyle=withFgblack`mappend`withBgbrightwhite,tabNotFocusedStyle=withFggrey`mappend`withBgwhite,baseAttributes=error"base attributes must be redefined!",selectedStyle=withFgblack`mappend`withBgcyan,eofStyle=withFgblue,errorStyle=withBgred,hintStyle=withFgblack`mappend`withBgcyan,strongHintStyle=withFgblack`mappend`withBgmagenta,commentStyle=withFgpurple,blockCommentStyle=withFgpurple,keywordStyle=withFgdarkblue,numberStyle=withFgdarkred,preprocessorStyle=withFgred,stringStyle=withFgdarkcyan,longStringStyle=mempty,typeStyle=withFgdarkgreen,dataConstructorStyle=withBdTrue`mappend`withFgdarkgreen,importStyle=withFggrey,builtinStyle=withFgblue,regexStyle=withFgred,variableStyle=mempty,operatorStyle=withFgbrown,makeFileRuleHead=withFgblue,makeFileAction=withFggrey,quoteStyle=withFggrey}-- | The default ThemedefaultLightTheme::ThemedefaultLightTheme=defaultTheme`override`\super_->super{modelineAttributes=emptyAttributes{foreground=black,background=darkcyan},tabBarAttributes=emptyAttributes{foreground=white,background=black},baseAttributes=emptyAttributes}-- | A Theme inspired by the darkblue colorscheme of Vim.darkBlueTheme::ThemedarkBlueTheme=defaultTheme`override`\super_->super{modelineAttributes=emptyAttributes{foreground=darkblue,background=white},modelineFocusStyle=withBgbrightwhite,tabBarAttributes=emptyAttributes{foreground=darkblue,background=brightwhite},tabInFocusStyle=withFggrey`mappend`withBgwhite,tabNotFocusedStyle=withFglightGrey`mappend`withBgwhite,baseAttributes=emptyAttributes{foreground=white,background=black},selectedStyle=withFgwhite`mappend`withBgblue,eofStyle=withFgred,hintStyle=withBgdarkblue,strongHintStyle=withBgblue,commentStyle=withFgdarkred,keywordStyle=withFgbrown,stringStyle=withFgpurple,variableStyle=withFgcyan,operatorStyle=withFgbrown}