blagda-0.1.0.1: Shake frontend for Agda blogging
Safe HaskellNone
LanguageHaskell2010

Blagda.Latex

Documentation

newtype LatexEquation Source #

Constructors

LatexEquation (Bool, Text) 

Instances

Instances details
Eq LatexEquation Source # 
Instance details

Defined in Blagda.Latex

Show LatexEquation Source # 
Instance details

Defined in Blagda.Latex

NFData LatexEquation Source # 
Instance details

Defined in Blagda.Latex

Methods

rnf :: LatexEquation -> () #

Hashable LatexEquation Source # 
Instance details

Defined in Blagda.Latex

Binary LatexEquation Source # 
Instance details

Defined in Blagda.Latex

type RuleResult LatexEquation Source # 
Instance details

Defined in Blagda.Latex